// JavaScript Document
var ie= ((document.all)&&(!document.layers)) ? true : false;
var ns= ((document.layers)&&(!document.getElementById)) ? true : false;
var moz= ((document.getElementById)&&(!document.all)) ? true : false;
function show(div){
if(ie) {document.all[div].style.visibility="visible";}
if(ns)	{document.layers[div].visibility="show";}
if(moz)	{document.getElementById(div).style.visibility="visible";}
}
function hide(div){
if(ie) (document.all[div].style.visibility="hidden")
if(ns)	(document.layers[div].visibility="hide")
if(moz)	(document.getElementById(div).style.visibility="hidden")
}
var hideMenue = null;
function setTopOn() {
hideMenue=setTimeout('hideAll()',500)
}
function setTopOff() {
clearTimeout(hideMenue);
hideAll();
}
function setOn() {
hideMenue=setTimeout('hideAll()',500)
}
function setOff() {
clearTimeout(hideMenue);
}
function hideAll(){
hide('m1');
hide('m2');
hide('m3');
}