Perhaps a bit off-topic, but the chorus of “Africa” is almost exactly 20 seconds long, so it is a great song to wash your hands to if you’re sick of “Happy Birthday“.