function div_height(){
	document.getElementById('inner_page').style.height=document.getElementById('TableWhosOnline').height;
	alert (document.getElementById('TableWhosOnline').height);
}