var fenster;
function win(width, height, file)
{
 if (fenster) {fenster.close();}
 fenster=window.open(file, "fenster", "toolbar=0,location=0,directories=0,status=1,menubar=0,scrollbars=1,resizable=1,dependent=1,width="+width+",height="+height);
}

function hide_all() {
 for (i=0; i<=3 ; i++ ) {
  if (i != 0) document.getElementById("menu0" + i).style.color = "#0000FF";
  document.getElementById("menu" + i).style.display = "none";
 }
return
}
function show_menu(x) {
 if (document.getElementById("menu" + x).style.display == "block") return
  //weil Mozilla Firefox Blödsinn macht, wenn zweimal das gleiche aufgerufen wird
 hide_all();
 if (x != 0) document.getElementById("menu0" + x).style.color = "#FFFFFF";
 document.getElementById("menu" + x).style.display = "block";
return
}

function at_on(x) {
 document.getElementsByName("at")[x].src="at.gif";
}
function at_off(x) {
 document.getElementsByName("at")[x].src="at2.gif";
}

function init() {
 init_kalendarium();
 show_menu(1);
 show_menu(0);
}