"Hernando's Hideaway" is a song originally from which of these musicals?

There was a movie called The Pajama Game staring Rock Hudson and Dorris Day.