runOnLoad(function(){
	var ht =Ext.get('hauptthema');
	if (ht){
		/*** dann befinden wir uns auf der Startseite ***/ 
		var htheight = ht.getHeight(); 
		var lr = Ext.get('lay_right1'); 
		if (lr){
			var lrheight = lr.getHeight();
			if (htheight > lrheight){
				lr.setHeight(htheight); 
			} else {
				ht.setHeight (lrheight);
			}
		}
	} 
});