var hoehe = Fensterhoehe()-28;
document.getElementById("haupt").style.height = hoehe + 'px';