nav_de1=new Image;
nav_de1.src="bilder/navi_deutsch.gif";
nav_de2=new Image;
nav_de2.src="bilder/navi_deutsch2.gif";
nav_en1=new Image;
nav_en1.src="bilder/navi_english.gif";
nav_en2=new Image;
nav_en2.src="bilder/navi_english2.gif";
nav0a=new Image;
nav0a.src="bilder/navi_impressum.gif";
nav0b=new Image;
nav0b.src="bilder/navi_impressum2.gif";
nav1a=new Image;
nav1a.src="bilder/navi_unternehmensgruppe.gif";
nav1b=new Image;
nav1b.src="bilder/navi_unternehmensgruppe2.gif";
nav2a=new Image;
nav2a.src="bilder/navi_produkte.gif";
nav2b=new Image;
nav2b.src="bilder/navi_produkte2.gif";
nav3a=new Image;
nav3a.src="bilder/navi_umwelt.gif";
nav3b=new Image;
nav3b.src="bilder/navi_umwelt2.gif";
nav4a=new Image;
nav4a.src="bilder/navi_kontakte.gif";
nav4b=new Image;
nav4b.src="bilder/navi_kontakte2.gif";
nav5a=new Image;
nav5a.src="bilder/navi_werkstoffsuche.gif";
nav5b=new Image;
nav5b.src="bilder/navi_werkstoffsuche2.gif";
nav6a=new Image;
nav6a.src="bilder/navi_aktuelles.gif";
nav6b=new Image;
nav6b.src="bilder/navi_aktuelles2.gif";

function start(){
 if (document.getElementById){
  document.getElementById('subnav1').style.visibility="hidden";
  document.getElementById('subnav2').style.visibility="hidden";
  document.getElementById('subnav3').style.visibility="hidden";
  document.getElementById('subnav4').style.visibility="hidden";
  document.getElementById('subnav6').style.visibility="hidden";
 } else if (document.all){
  document.all('subnav1').style.visibility="hidden";
  document.all('subnav2').style.visibility="hidden";
  document.all('subnav3').style.visibility="hidden";
  document.all('subnav4').style.visibility="hidden";
  document.all('subnav6').style.visibility="hidden";
 }
}

function bildwechsel(name,obj){
  document.images[name].src=obj.src;
}

function show(id){
  if (document.getElementById) document.getElementById(id).style.visibility="visible";
  else if (document.all) document.all(id).style.visibility="visible";
}

function hide(id){
  if (document.getElementById) document.getElementById(id).style.visibility="hidden";
  else if (document.all) document.all(id).style.visibility="hidden";
}