// JScript source code
		function Resize() {
		
		document.getElementById('shadow').style.height = document.getElementById('mainarea').offsetHeight+"px";

}