Trying to find out about a childhood musical
Back in elementary school, my school put on a yearly performance of something we called (to the best of my memory) "Music of the Planets." I've tried to Google it, and never found the play (And as far as I know, it has no connection to Holst's work).
In essence, it was a series of songs that took the viewers through the planets from Mecury to Mars, then the Asteroid Belt, and then Jupiter to Pluto (This was before Pluto was declassified).
Lines/lyrics I remember include:
"Happy Birthday, World // Glad to see you unfurl // Happy Birthday // Have a good day // Happy birthday world!"
"Through the Asteroid belt we pass, relics of the birth process."
"Jupiter, the planet king // sixteen moons around you ring."
Any information would be appreciated!