// Bildwechsel Hauptnavi1
function Bildhigh(welches){
window.document.images[welches].src = "../images/navi/"+ welches +"_h.gif";
}
function Bildnorm(welches){
window.document.images[welches].src = "../images/navi/"+ welches+"_n.gif";
}

// History back
function back() {
    history.go(-1);
}
   
// Formulare senden
function versenden() {
document.inhalt.submit();
}   

// popup fuer popupfunktion
var newwin;
function popup2(url,name,eigenschaften)
   {
   newwin = window.open(url,name,eigenschaften);
   }