"Summer Girl" as written by and Kristen Anderson-lopez Robert Lopez.