My son would like to identify the choral music that is played at the start of Diversity's semi final performance. Can anyone help? It's the bit from about second 12 to second 21. Thank you!