Music : what holiday tune did irving berlin write in 1942