function popbox(mname)	{
			document.getElementById(mname).style.visibility = "visible";
			}
		 function hidebox(mname)	{
			document.getElementById(mname).style.visibility = "hidden";
			}