<!--
//function used to preload Images into the browser's cache
function preloadImages(){
	 //create Array for imageobjects
     imageObj = new Array();
	 var folder = "./images/buttons/";
     // set image list
     images = new Array();
     images[0]= folder+"HouseHoverWhite2.png";
     images[1]= folder+"VistaHover.png";
	 images[2]= folder+"VistaSelect2.png";
     images[3]= folder+"2levelA.png";
     images[4]= folder+"2levelB.png";
     images[5]= folder+"2levelC.png";
     images[6]= folder+"3levelALeft.png";
     images[7]= folder+"3levelAMiddle.png";
     images[8]= folder+"3levelARight.png";
     images[9]= folder+"3levelBLeft.png";
     images[10]= folder+"3levelBMiddle.png";
     images[11]= folder+"3levelBRight.png";
	 images[12]= folder+"MagnifierHoverSmall.png";
	 // start preloading
	 for(var i=0; i<images.length; i++){
	 	imageObj[i] = new Image();
        imageObj[i].src = images[i];
     }
} 

//function triggered by mouseover on 1st level buttons
function hoverIn(self){
	var parent = self.parentNode;
	if(parent.style.backgroundImage != "url(./images/buttons/VistaSelect2.png)"){		
		parent.style.backgroundImage = "url(./images/buttons/VistaHover.png)";
	}
}

//function triggered by mouseout on 1st level buttons
function hoverOut(self){
	var parent = self.parentNode;
	if(parent.style.backgroundImage != "url(./images/buttons/VistaSelect2.png)"){		
		parent.style.backgroundImage = "none";
	} 
}

//function triggered by mouseover on 2nd level buttons
function hoverInSmall(self){
	var parent = self.parentNode;
	if(parent.style.backgroundImage != "url(./images/buttons/2levelC.png)"){		
		parent.style.backgroundImage = "url(./images/buttons/2levelB.png)";
		parent.style.color = "#CC0000";
	}
}

//function triggered by mouseout on 2nd level buttons
function hoverOutSmall(self){
	var parent = self.parentNode;
	if(parent.style.backgroundImage != "url(./images/buttons/2levelC.png)"){		
		parent.style.backgroundImage = "url(./images/buttons/2levelA.png)";
		parent.style.color = "white";
	} 
}

//function used to swap the different button images
function showHide(self){
	var sister = self; //next Sibling i.e. next UL
	var disp = (self.parentNode.getElementsByTagName("ul")[0].style.display=="inline")?"none":"inline"; //stores the new display attribute of the ul tag beneath div
	var parent = self.parentNode;	//li tag above div
	var grandFather = self.parentNode.parentNode; //ul tag above div
	
	//select the next Sibiling being a UL-Tag
	do{
		sister = sister.nextSibling;
	}while(sister.nodeName !="UL");
	
	//Reset the display of the Li tags beneath the grandfather tag
	for(var l=0;l<grandFather.getElementsByTagName("LI").length;l++){
		grandFather.getElementsByTagName("LI")[l].style.display = "inline";
		grandFather.getElementsByTagName("LI")[l].style.fontWeight = "normal";
	}
	
	//Reset the display of the Ul tags beneath the grandfather tag
	for(var j=0;j<grandFather.getElementsByTagName("ul").length;j++){
		grandFather.getElementsByTagName("ul")[j].style.display = "none";
		//regarding 1.level divs 
		if(grandFather.getElementsByTagName("ul")[j].parentNode.parentNode.id == "navUl"){
			grandFather.getElementsByTagName("ul")[j].parentNode.style.backgroundImage = "none";
		//regarding 2.level divs
		}else if(grandFather.getElementsByTagName("ul")[j].parentNode.style.backgroundImage == "url(./images/buttons/2levelC.png)"){
			grandFather.getElementsByTagName("ul")[j].parentNode.style.backgroundImage = "url(./images/buttons/2levelA.png)";
		}
	}
	
	//set the new display for the ul tag
	if(grandFather.id == "navUl"){ //regarding div on 1st level
		sister.style.display = disp;
		parent.style.backgroundImage = (disp == "inline")?"url(./images/buttons/VistaSelect2.png)":"none";
	}else{ //regarding div on 2nd level
		if(disp == "inline"){
			//set display to none for all the sister li tags
			for(var n=0;n<grandFather.childNodes.length;n++){
				if(grandFather.childNodes[n].nodeName == "LI" && grandFather.childNodes[n] != parent){
					grandFather.childNodes[n].style.display = "none";
				}
			}
		}
		sister.style.display = disp;
		parent.style.backgroundImage = (disp == "inline")?"url(./images/buttons/2levelC.png)":"url(./images/buttons/2levelA.png)";
		parent.style.fontWeight = (disp == "inline")?"bold":"normal";
		parent.style.color = (disp == "inline")?"white":"white";		
	}
}
-->