function write_music_embed() {
   document.getElementById('grass_music').innerHTML="<embed volume='50' src='/grass-grow.mid' autoplay='true' loop='true' name='grass_music'<\/embed>";
}