/*
 *   File:  footer.js
 *
 *   Insert a footer into the current document
 *
 */

// Insert document properties:
document.writeln( '<p>' );
document.write  ( '<em>Last update:</em>&nbsp;&nbsp;' );
document.writeln( document.lastModified + '<br>' );
document.writeln( '<em>Author:&nbsp </em>G. Zimmerman' );
document.writeln( '</p>' );