// JavaScript Document

var override=false;
var timeout;
function switchon(type)
{
clearTimeout(timeout);
if(document.getElementById(type).style.visibility=="hidden")
	{document.getElementById(type).style.visibility="visible";}
}