<!-- Hide from old browsers
// Unless otherwise noted, all JavaScript is copyright SilverDisc Limited 1999:
// all rights reserved. 

// Language constants:
var English = 1;
var NumLanguages = 1;

// Variables:
var timerID = null;
var timerRunning = false;

var months;
var days;

// Controls:
var language = English;
var twentyfourhour = false;

function MakeEmptyArray(n)
{
    var i;
    this.length = n;
    for(i = 1; i <= n; i++)
    {
        this[i] = null;
    }
    return this;
}

function MakeFilledArray()
{
    // Make an array of strings
    var i;

    this.length = MakeFilledArray.arguments.length;
    for(i = 1; i <= this.length; i++)
    {
        this[i] = MakeFilledArray.arguments[i - 1];
    }
    return this;
}


function showDate (doc)
{
    var now = new Date();
    var dow;
    var month;
    var date;
    var years;
    var timeValue;

    // Initialise the arrays
    months = new MakeEmptyArray(NumLanguages);
    months[English] = new MakeFilledArray("Jan", "Feb", "Mar", "Apr", 
                                        "May", "Jun", "Jul", "Aug",
                                        "Sep", "Oct", "Nov", "Dec");

    days = new MakeEmptyArray(NumLanguages);
    days[English] = new MakeFilledArray("Sun", "Mon", "Tues", "Wed",
                                     "Thurs", "Fri", "Sat");
    dow = days[language][now.getDay() + 1];
    month = months[language][now.getMonth() + 1];

    date = now.getDate();
    if(date < 10)
    {
        date = "0" + date;
    }

    year = now.getFullYear();

    timeValue = " " + dow;
    timeValue += " " + date + " " + month + " " + year;
    
    if (doc.title.indexOf('Title') != -1) doc.write('<font color="#ffffff">'+timeValue+'</font>');
    else doc.write(timeValue);
}

// End hiding -->
