function song(){document.getElementById('music1').innerHTML="

";}