var ns4 = (document.layers)? true:false
var ie4 = (document.all)? true:false				 
var ns6 = false;
var isNav;

		
function init(){

	if (parseInt(navigator.appVersion) >=5) {
			if (navigator.appName == "Netscape") {
				ns6 = true;
				}
			}
	
	}
		


var TimerID=0;


var layernames = new Array(6);
layernames[0] = "HPwirDiv";
layernames[1] = "HPproduktionDiv";
layernames[2] = "HPrehaDiv";
layernames[3] = "HPbetriebDiv";
layernames[4] = "HPmagazinDiv";
layernames[5] = "HPserviceDiv";
layernames[6] = "HPsuchenDiv";


 
function nothing(){
}	 

function layerHandler(roll_on,whichLayer) 
{
  if (roll_on) 
  { 
    clearTimeout(TimerID);
    hideParents(whichLayer);
    showLayer(whichLayer);
    } 	
  else 
  {
  	 clearTimeout(TimerID);
  	 TimerID = setTimeout('hideAll()', 100);
   }
}
        


function showLayer(thisLayer) {

	if (ns4) 
	{
		document.layers[(layernames[thisLayer])].visibility = "show";
	}	
    else if (ie4)
	{

		if(layernames[thisLayer] != null && document.all[(layernames[thisLayer])] != null && document.all[(layernames[thisLayer])].style != null)
			 document.all[(layernames[thisLayer])].style.visibility = "visible";
	} 
    else if (ns6) document.getElementById(layernames[thisLayer]).style.visibility = "visible";
}



function hideLayer(thisLayer) {
	
	if (ns4) document.layers[(layernames[thisLayer])].visibility = "hide";
    else if (ie4) 
	{
		if(layernames[thisLayer] != null && document.all[(layernames[thisLayer])] != null && document.all[(layernames[thisLayer])].style != null)
			document.all[(layernames[thisLayer])].style.visibility = "hidden";
	}	
    else if (ns6) document.getElementById(layernames[thisLayer]).style.visibility = "hidden";
 }
 



function hideParents(exceptThis) {
	for (var i=0; i<=6; i++) {
		if (exceptThis != i) {
			hideLayer(i);
			}
	}
}



function hideAll() {
	for (var i=0; i<=6; i++) {
	
		hideLayer(i);
	}
}