<!-- Begin
document.write('Page last updated: ');
       x = 0, y = 0, spacer = "";
       var date = new Date(document.lastModified);
       if ((date.getYear()) > 99) x = 100;
       if ((date.getYear()) > 1999) y = 1900;
       var day = date.getDate();
       if (day < 10) day="0" + day;
       var month = (date.getMonth()+1);
       if (month < 10) month = "0" + month;
       var hours = date.getHours();
       if (hours >= 12) spacer = "  PM";
       if (hours > 12) hours = (hours - 12);
       if (hours < 10) hours = "0" + hours;
       var minutes = date.getMinutes();
       if (minutes < 10) minutes = "0" + minutes;
       var seconds = date.getSeconds();
       if (seconds < 10) seconds = "0" + seconds;
document.write(hours + ":" + minutes + ":" + seconds + spacer + " " + month + "/" + day + "/" + (date.getYear() -x +y + 2000) + " ");
// End -->