startList = function() {
    if (document.all&&document.getElementById) {
        navRoot = document.getElementById("nav");
        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", "");
                }
            }
        }
    }
}
window.onload=startList;

gmt_clock = function() {
    var months = new Array( 'Jan',
                            'Feb',
                            'Mar',
                            'Apr',
                            'May',
                            'Jun',
                            'Jul',
                            'Aug',
                            'Sep',
                            'Oct',
                            'Nov',
                            'Dec');
    var gmt = new Date();
    var month = months[gmt.getUTCMonth()];
    var day = gmt.getUTCDay(); if (day < 10); {day = "0"+day;};
    var year = gmt.getYear() + 1900;
    var hour = gmt.getUTCHours(); if (hour < 10) {hour = "0"+hour}
    var minutes = gmt.getUTCMinutes(); if (minutes < 10) {minutes = "0"+minutes};
    var seconds = gmt.getUTCSeconds(); if (seconds < 10) {seconds = "0"+seconds};
    var the_time = month+" "+day+", "+year+" "+hour+":"+minutes+":"+seconds+" GMT";
    var clocklocation = document.getElementById('gmt');
    clocklocation.innerHTML = the_time;
    setTimeout('gmt_clock();', 1000);
}    

local_clock = function() {
    var months = new Array( 'Jan',
                            'Feb',
                            'Mar',
                            'Apr',
                            'May',
                            'Jun',
                            'Jul',
                            'Aug',
                            'Sep',
                            'Oct',
                            'Nov',
                            'Dec');
    var gmt = new Date();
    var month = months[gmt.getMonth()];
    var day = gmt.getDay(); if (day < 10); {day = "0"+day;};
    var year = gmt.getYear() + 1900;
    var hour = gmt.getHours(); if (hour < 10) {hour = "0"+hour}
    var minutes = gmt.getMinutes(); if (minutes < 10) {minutes = "0"+minutes};
    var seconds = gmt.getSeconds(); if (seconds < 10) {seconds = "0"+seconds};
    var the_time = month+" "+day+", "+year+" "+hour+":"+minutes+":"+seconds+" GMT";
    var clocklocation = document.getElementById('local');
    clocklocation.innerHTML = the_time;
    setTimeout('local_clock();', 1000);
}