function xhtml_height()
{
	var top=document.getElementById("top").offsetTop;
	var bottom=document.getElementById("bottom").offsetTop;
	var height=bottom-top;
	
	document.getElementById("user2").style.height=height+'px';

}