function initSeite(){
	with(document){
		if (getElementById("divHaupt")){
			if (getElementById("divHaupt").offsetHeight){
				var neueHoehe = getElementById("divHaupt").offsetHeight - getElementById("divHauptOben").offsetHeight - 2;
				if(neueHoehe > 0) getElementById("divLinksInhalt").style.height = (neueHoehe)+"px";
			}
		}
	}
}