function textvis(nummer){
  with(document.getElementById("markt"+nummer))
  {
    switch (nummer)
    {
      case 1: innerHTML="Maschinenbau"; break;
      case 2: innerHTML="Maschinenelemente"; break;
      case 3: innerHTML="Schneidetechnik"; break;
      case 4: innerHTML="Antriebstechnik"; break;
      case 5: innerHTML="Airport Equipment"; break;
      case 6: innerHTML="Hebe- und Fördertechnik"; break;
      default: innerHTML="";
    }
  }
 
}

function refvis(nummer){

  	for (var j = 1; j <= 6; j++){
        var outerdiv = document.getElementById("ref"+j);
  	var header = outerdiv.getElementsByTagName("h1"); for (var i = 0; i < header.length; i++) header[i].className="gfx3";
  	var liste = outerdiv.getElementsByTagName("li"); for (var i = 0; i < liste.length; i++) liste[i].className="gfx3";
  	}

	
    switch (nummer)
    {
      case 1: case 2: case 3: case 4: case 5: case 6:
        
        var outerdiv = document.getElementById("ref"+nummer);
  	var header = outerdiv.getElementsByTagName("h1"); for (var i = 0; i < header.length; i++) header[i].className="gfx4";
  	var liste = outerdiv.getElementsByTagName("li"); for (var i = 0; i < liste.length; i++) liste[i].className="gfx4";
        break;
        
      case 1234:

  	for (var j = 1; j <= 4; j++){
        var outerdiv = document.getElementById("ref"+j);
  	var header = outerdiv.getElementsByTagName("h1"); for (var i = 0; i < header.length; i++) header[i].className="gfx4";
  	var liste = outerdiv.getElementsByTagName("li"); for (var i = 0; i < liste.length; i++) liste[i].className="gfx4";
  	}
        break;

      default: 1;
    }
}

function textinvis(nummer){
  with(document.getElementById("markt"+nummer))
  {
    switch (nummer)
    {
      case 1: innerHTML=""; break;
      case 2: innerHTML=""; break;
      case 3: innerHTML=""; break;
      case 4: innerHTML=""; break;
      case 5: innerHTML=""; break;
      case 6: innerHTML=""; break;
      default: innerHTML="";
    }
  }

}

//nicht verwendet
function refinvis(){  

  	for (var j = 1; j <= 6; j++){
        var outerdiv = document.getElementById("ref"+j);
  	var header = outerdiv.getElementsByTagName("h1"); for (var i = 0; i < header.length; i++) header[i].className="gfx3";
  	var liste = outerdiv.getElementsByTagName("li"); for (var i = 0; i < liste.length; i++) liste[i].className="gfx3";
  	}



}