function subheight(){
	var elh1 = document.getElementById('contentborder').offsetHeight;
	var elh2 = document.getElementById('menu').offsetHeight + document.getElementById('topbar').offsetHeight;

	var sh = document.getElementById('submenu').offsetHeight;
	
	
	if((elh1-elh2)+10 > sh){
		document.getElementById('submenu').style.height = (elh1-elh2)+10+'px';

	}

}