var time_diff = 28800000;	//8 hrs in msec to compensate for GMT

var month_name;		//calendar month spelled out
var update;		//new modified date

var last_date;		//date file last modified per document
var last_month;
var last_year;
var last_day;

last_date = document.lastModified;
last_date = Date.parse(last_date);	//convert string to date
if (navigator.appName != "Netscape"){	//determine browser
   last_date = last_date - time_diff}
last_date = new Date(last_date);	//recompute date per Date.parse(last_date)
last_month = last_date.getMonth();
last_year = last_date.getYear();
last_day = last_date.getDate();

if (last_month == 0){
   month_name = "January"}
if (last_month == 1){
   month_name = "February"}
if (last_month == 2){
   month_name = "March"}
if (last_month == 3){
   month_name = "April"}
if (last_month == 4){
   month_name = "May"}
if (last_month == 5){
   month_name = "June"}
if (last_month == 6){
   month_name = "July"}
if (last_month == 7){
   month_name = "August"}
if (last_month == 8){
   month_name = "September"}
if (last_month == 9){
   month_name = "October"}
if (last_month == 10){
   month_name = "November"}
if (last_month == 11){
   month_name = "December"}

if (last_year >= 2000){
   update = "Last Update: "+month_name+" "+last_day+", "+last_year}
else{
   update = "Last Update: "+month_name+" "+last_day+", 19"+last_year
}