zoo/funcs.js
// put out a document modification time

put out a document modification time
put out a document modification time
function writeDocTime(){
  if (document.fileUpdatedDate===undefined) {
    document.write(document.lastModified);
  } else {
    document.write(document.fileUpdatedDate);
  }
}
function writeDocTime ( ) { if ( document . fileUpdatedDate === undefined ) { document . write ( document . lastModified ) ; } else { document . write ( document . fileUpdatedDate ) ; } }
put out a document modification time
put out a document modification time