/*
 *  File:  lastModified.js
 *
 *  Insert the "last modified" date into the current document
 *
 *  Usage:
 *
 *    <script type="text/javascript"
 *            src="http://www.bgsu.edu/scripts/lastModified.js">
 *    </script>
 *
 *  Insert this code in the <body> of your document.
 *
 */

if ( Date.parse( document.lastModified ) != 0 ) {
  document.write( '<BR><EM>Last modified:</EM>&nbsp;&nbsp;' );
  document.writeln( document.lastModified );
}