<!-- Begin
function footer(year,month,date) {

/* function Date gives output in the format:
IE on Windows: 
Sat Oct 6 11:42:29 UTC+0200 2007
12345678901234567890123456789012

Firefox on linux:
Sat Oct 06 2007 11:42:29 GMT+0200 (CEST)
1234567890123456789012345678901234567890

Time + timezone has always length=18 (incl. 1 blank)
The first delimiter (":") in the example date has postion 13 in IE and 19 in Firefox.
*/

var last = " " + new Date(document.lastModified);
var len = last.length;
var delim1 = last.indexOf(":");
var bracket = last.indexOf("(");

if (bracket == -1) {
  /* Internet Explorer */
  document.write ("Last modified: ");
  document.write (last.substring(5,delim1-3));
  document.write (", ");
  document.write (last.substring(delim1+15));
}
else
{
  /* Firefox */
  document.write ("Last modified: ");
  document.write (last.substring(5,delim1-8));
  document.write (", ");
  document.write (last.substring(delim1-8, delim1-3));
}
}
// End -->