The Red Flag  to the tune of Mr. Sandman