function ieHover()
{var nav=document.getElementById("button");if(nav){nav.onmouseover=function()
{this.className+=" hover";}
nav.onmouseout=function()
{this.className=this.className.replace(" hover","");}}}
function resize(){if(document.documentElement.clientWidth<1000)
{document.body.style.width="1000px";}
else document.body.style.width="auto";}
if(window.attachEvent&&!window.opera){window.attachEvent("onload",ieHover);}
if(window.attachEvent&&!window.opera){window.attachEvent("onresize",resize);window.attachEvent("onload",resize);}