//---- Bildwechsel Standard ----
var bild = null;
var ort = null;

function wechsel (bild,ort) {
  document.images[ort].src = "img/" + bild + ".gif";
  markMenu();
}


//---- Pop up ------------------
function windowOpen(url,laenge,hoehe,scroll) {
var eigenschaften = "height="+hoehe+",width="+laenge+",resizable=yes,menubar=no,location=no,status=no,scrollbars="+scroll; 
window.open(url,"",eigenschaften);
}

function druck()
{
parent.main.focus();
self.print();
}