function Resize() {
	A_MENUS[0].resize(document.getElementById("MainTable_Menu").clientWidth,
	eval("document.getElementById('MainTable_Menu').offsetParent." + (document.all?"offsetParent.":"") + "offsetLeft + (document.all?1:0)"));
    return;    
	 }

function MainOnLoad() {
	 window.onresize = Resize;
	 return;
}