lastmod = new Date(document.lastModified); 
if (Date.parse(lastmod) != 0) { 
  document.write("Last update: "); 
  if (lastmod.getMonth() < 9) { 
    document.write("0"+(lastmod.getMonth()+1)); 
  } 
  else { 
    document.write((lastmod.getMonth()+1)); 
  } 
  document.write("/"); 
  if (lastmod.getDate() < 10) { 
    document.write("0"+lastmod.getDate()); 
  } 
  else { 
    document.write(lastmod.getDate()); 
  } 
  document.write("/"); 
  document.write("2006"); 
  document.write(" at "); 
  if (lastmod.getHours() < 10) { 
    document.write("0"+lastmod.getHours()); 
  } 
  else { 
    document.write(lastmod.getHours());  
  } 
  document.write(":"); 
  if (lastmod.getMinutes() < 10) {  
    document.write("0"+lastmod.getMinutes());  
  }  
  else {  
    document.write(lastmod.getMinutes());   
  } 
  document.write(" "); 
  current_timezone = lastmod.getTimezoneOffset();
  if (current_timezone > 0) {
    if (current_timezone < 600) {
      document.write("(-0"+(current_timezone/60)+"00)"); 
    }
    else {
      document.write("(-"+(current_timezone/60)+"00)"); 
    }
  }
  else if (current_timezone < 0) {
    if (current_timezone > -600) {
      document.write("(+0"+(-current_timezone/60)+"00)"); 
    }
    else {
      document.write("(+"+(-current_timezone/60)+"00)"); 
    }
  }
  else {
    document.write("(0000)"); 
  }
}