function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}

function showhide(what){
	mujDIV = document.getElementById(what); 
	if (mujDIV.style.display=='none'){
		mujDIV.style.display='';
		}
	else{
		mujDIV.style.display='none';
		}
}