function menu()
{
    if (document.all&&document.getElementById)
    {
        myMenu = document.getElementById("menu");
        for (i=0; i<myMenu.childNodes.length; i++)
        {
            node = myMenu.childNodes[i];
            if (node.nodeName=="LI")
            {
                node.onmouseover=function()
                {
                    this.className="over";
                }
                node.onmouseout=function() {
                    this.className=this.className="";
                } 
            }
        }
    }
}