function write_music_embed() {
   document.getElementById('halloween_music').innerHTML="<embed src='/halloween/halloween.mid' autoplay='true' loop='palindrome' name='halloween_music' style='height:14px;width:150px;'></embed>";
}