if (document.all && !document.getElementById) {

  document.getElementById = function(id) { return document.all[id]; }

}

function showmenu(section) {

  var div = new Object();
  
  if ((section == '') && (currentSection != '')) return true;
  
  div[0] = "Unternehmen";
  div[1] = "Produktsp";
  div[2] = "Kontakt";
  
  for (n=0; n<3; n++) {
    var d = document.getElementById(div[n]);

    if (div[n] == section) { 
      d.style.display = "block";
    }
    else {
      d.style.display = "none";
    }
  }

  return true;
}

function hidemenu(section) {

  if (currentSection != '') {
    showmenu(currentSection);
    return true;
  }

  var d = document.getElementById(section);

  d.style.display="none";

  return true;

}