<!--
function makeArray()  {
        for (i=0; i<makeArray.arguments.length; i++)
                this[i] = makeArray.arguments [i]
}

var months = new makeArray('Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec')

function formatTime(t)  {
        var Date = t.getDate()
        var Month = t.getMonth()
        var Year = t.getYear() + 1900

        timeString = months[Month] + ' '  + Date + ', ' + Year

        return timeString
        }

        modWrite = new Date(document.lastModified)
        document.write('Updated ' + formatTime(modWrite))
        //