function xhtmlHeight()
	{
		
		var top=document.getElementById("top").offsetTop;
		var bottom=document.getElementById("bottom").offsetTop;
		var height=bottom-top;

		document.getElementById("height1").style.height=height+'px';

}