<!--
function openwindow ( url ) {
 fenster = window.open(url, "fenster1", "width=1000,height=650,status=yes,scrollbars=yes,resizable=yes");
 fenster.focus();
}

function display (tr) {
    var mytr = document.getElementById(tr).style;
    if(mytr.display == "none") {
        mytr.display="";
    } else {
        mytr.display = "none";
    }
}
-->