function patchMenu()
{
    if (document.all && document.getElementById && navigator.userAgent.indexOf("Opera") == -1)
    {
        navRoot = document.getElementById("navul");
        for (i = 0; i < navRoot.childNodes.length; i++) 
        {
            node = navRoot.childNodes[i];
            if (node.nodeName == "LI") 
            {
                node.onmouseover = function() 
                {
                    this.className += " over";
                }
                node.onmouseout = function() 
                {
                    this.className = this.className.replace(" over", "");
                }
            }
        }
    }
}

function insertDocDate()
{
    var months = new Array("Jan.", "Feb.", "Mar.", "Apr.", 
                           "May", "June", "July", "Aug.", 
                           "Sep.", "Oct.", "Nov.", "Dec.");
                          
    if (document.getElementById && document.lastModified)
    {
    
        var docdate = new Date(document.lastModified);
        if (docdate)
        {
            /* Produces:

                 <p>Last update: <span style="white-space: nowrap">Oct. 30, 2008</span></p>

            */
    
            var nowrap = document.createElement("span");
            nowrap.style.whiteSpace = "nowrap";
            nowrap.appendChild(document.createTextNode(
                months[docdate.getMonth()] + 
                " " + docdate.getDate() + 
                ", " + docdate.getFullYear()));
            var dateP = document.createElement("p");
            dateP.appendChild(document.createTextNode("Last update: "));
            dateP.appendChild(nowrap);
            document.getElementById("copyright").appendChild(dateP);
        }
    }
}
         
window.onload = function() 
{
    patchMenu();
    insertDocDate();
}