var timeout = 10000;	// show_time(): Set the time between one and the next redisplay.

// -----------------------------------------------------------------------------
// Display the time and date in the menu bar.
// -----------------------------------------------------------------------------
function show_time()
{
    if (!document.all && !document.getElementById)
    {
        return;
    }
    thelement=document.getElementById ? document.getElementById("time_and_date") : document.all.time_and_date;

    var mydate=new Date()
    var year=mydate.getYear()
    if (year < 1000)
        year+=1900
    var day=mydate.getDay()
    var month=mydate.getMonth()
    var daym=mydate.getDate()
    var dayarray=new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday")
    var montharray=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")

    var Digital=new Date()
    var hours=Digital.getHours()
    var minutes=Digital.getMinutes()
    var seconds=Digital.getSeconds()
    if (minutes<=9)
        minutes="0"+minutes
    if (seconds<=9)
        seconds="0"+seconds
        
    var ctime=dayarray[day]+", "+montharray[month]+" "+daym+" "+year+", "+hours+":"+minutes
    
    thelement.innerHTML=ctime
    
    //setTimeout(show_time, timeout)
}
// Start the repeated display process.
setInterval(show_time, 1000);