Hi! You probably got here via Dave Rusin's "Mathematics and Music" page. The Metamath Music Page has moved here: http://us.metamath.org/mpegif/mmmusic.html