function oeffnefenster (url) {
 fenster=window.open(url, "_blank", "width=600,height=400,status=yes,scrollbars=yes,resizable=yes");
 fenster.focus();
 return false;
}

/*
var alt;
alt = "pm1";
function zeige(x){
  document.getElementById(alt).style.display = "none";
  document.getElementById(x).style.display = "block";
  alt=x;
}
*/

function zeige(x){
}