Which classic sitcom theme has a rarely-heard full version with extra verses?