function fixHeight() {
	var delta=80;
	shrinkHeight("submenu",delta);
	shrinkHeight("unten",delta);
	shrinkHeight("all",delta);
}
function shrinkHeight(elID,delta) {
	var el=document.getElementById(elID);
//	alert("element "+elID+" curHeight: "+curHeight+" offsetHeight: "+el.offsetHeight);
	el.style.height=(el.offsetHeight-delta)+"px";
//	alert("set height of "+elID+" to "+(curHeight-delta)+"px");
}