function toggle_music(element)
	  {
	    if(document.getElementById(element).style.display=='none')
		  document.getElementById(element).style.display='block';
		else
		  document.getElementById(element).style.display='none';
		  
	  }


function MM_jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
}