// updatedHTML.js
// JavaScript file to generate HTML that indicates when the site was last updated.
// This JavaScript file exists as a solution to the problem of not being able
// to include an HTML file within another HTML file.
if (document.images) { // if browser can do JavaScript 
  var theHTML = '<b><blink><font color="#66FF99" size=-1>';
  theHTML += '*** NOTE: This site was last updated 4/13/09 ***<br>';
  theHTML += '*** Site optimized for Netscape 4.6 and later ***<br>';
  theHTML += '*** (AOL users must turn on JavaScript) ***';
  theHTML += '</font></blink></b>';
  document.write(theHTML);
}