document.write('This page last updated on<br>' + days[date.getDay()] + ', ' +
   date.getDate() + nths(date.getDate()) + ' ' +
   months[date.getMonth()] + ', ' + y2k(date.getYear()));