// Formatted last-modified date
         if (Date.parse(document.lastModified) != 0) {
           var modiDate = new Date(document.lastModified);
           var modiYear = modiDate.getYear();
           modiYear = (modiYear < 2000) ? modiYear + 1900 : modiYear;
           var monthName = new Array("Jan.", "Feb.", "Mar.", "Apr.", "May.", "Jun.",
           "Jul.", "Aug.", "Sep.", "Oct.", "Nov.", "Dec.");
           document.write("&nbsp;Last modified:&nbsp;  " + monthName[modiDate.getMonth()] + " ");
           document.write(modiDate.getDate() + ", " + modiYear);
           }
         // Jim Dettwiler  http://www.icehouse.net/jim_d/