A few jingles from the history of the world