function div_size() {
temp_div= (window.document.getElementById('menu').offsetHeight)-173;
if(temp_div<550){
temp_div=550;	
	
}
document.getElementById('menu').style.height = temp_div + 'px';
}