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

var months = new makeArray('January','February','March','April','May','June','July','August','September','October','November','December')

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))
        //