Original Broadway Cast of The Happy Time