function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}
function donothing() {
}
  function toggleLyrics(element) {
    if( (document.getElementById(element).style.display) == "block" )
    {
      document.getElementById(element).style.display = "none";
    }
    else
    {
      document.getElementById(element).style.display = "block";
    }
  }