function write_music_embed() {
   document.getElementById('christmas_music').innerHTML="<embed volume=25 src='/christmas/christmas.mid' autoplay='true' loop='true' name='christmas_music' style='height:14px;width:80px;'></embed>";
}