function write_music_embed() {
   document.getElementById('paint_music').innerHTML="<embed volume='50' src='/music/paint-music.mp3' autoplay='true' loop='true' name='paint_music'<\/embed>";
}