vistimeout =  new Array(0);
alayers =  new Array(0);
	alayers[alayers.length] = 'menu1'; alayers[alayers.length] = 'menu2';
	alayers[alayers.length] = 'menu3'; 	alayers[alayers.length] = 'menu4'; 
	uAgnt = navigator.userAgent;
	uVers = navigator.appVersion;
function vistoggle(alayer)
			{if (uAgnt.indexOf("MSIE") != -1 && 
				uAgnt.indexOf("Windows") != -1 && 
				uVers.substring(0,1) > 3){
				dim = 0;
				vis = 'none';
				window.event.cancelBubble = true;
				toElement = window.event.toElement;
				srcElement = window.event.srcElement;
				curlayer = document.all[alayer];
				if((srcElement.tagName == "DIV" || srcElement.tagName == "IMG") &&
				    (toElement.tagName != "FONT" && toElement.name != 'head1' && toElement.name != 'head2' && toElement.tagName != "A" && toElement.tagName != "HR")){
					lastvis = curlayer.style.display;
					while(dim <= (alayers.length - 1)){
						thislayer = alayers[dim];
						if(document.all[thislayer].style.display == "block"){ 	
							document.all[thislayer].style.display = vis; }
						dim++;}
				switch(lastvis){
					case "none":
						vis = 'block'; break;
					case "block":
						vis = 'none'; break;}
				curlayer.style.display = vis;}
			}}

function visclose() {
	dim=0;
	while(dim <= (alayers.length - 1)){
		thislayer = alayers[dim];
		if(document.all[thislayer].style.display == "block"){ 	
			document.all[thislayer].style.display = "none"; }
			dim++;}
		
	}

function include(url)  // must be a fully qualified URL, I don't know why
 {
   if ( document.all )
   {
     var xml = new ActiveXObject("Microsoft.XMLHTTP");
     xml.Open( "GET", url, false );
     xml.Send()
     document.writeln(xml.responseText);
   }
   else  // Netscape code from http://www.experts-exchange.com/javascript/Q.20290896.html
   {
     if ((location.host=='' && url.indexOf(location.protocol)==-1) || url.indexOf(location.host)==-1)
     {
       netscape.security.PrivilegeManager.enablePrivilege("UniversalConnect");
     }

     var dest = new java.net.URL(url);
     var dis  = new java.io.DataInputStream(dest.openStream());
     var res  = "";
     while ((line = dis.readLine()) != null)
     {
       res += line + java.lang.System.getProperty("line.separator");
     }
     dis.close();
     document.writeln(res);
     return res;
   }
 }
