function initMenu()
{
        var nodes = document.getElementById("navtop").getElementsByTagName("li");
        for (var i=0; i<nodes.length; i++)
        {
                nodes[i].onmouseover = function()
                {
                        this.className += " hover";
                }
                nodes[i].onmouseout = function()
                {
                        this.className = this.className.replace(" hover", "");
                }
        }
}
if (document.all && !window.opera) attachEvent("onload", initMenu);