function setSongTitle(title){document.getElementById("SongTitle").innerHTML=title;}