function init() {
//---Browserabfrage--------
 	IE4 = (document.all) ? true : false;
 	NS4 = (document.layers) ? true : false;
 	NS6 = (document.getElementById && !document.all) ? true : false;
	nummenus = 11;
	if (NS4) {
           widthCheck = window.innerWidth;
           heightCheck = window.innerHeight;
           window.onResize = resizeFix;
	}
}
                        
function SwitchImage(imgSource,imgName){//Bildwechsel
  if (document.images[imgName]) {
    document.images[imgName].src = imgSource;
    return true;
  }
}