// JavaScript Document


   COPYRIGHT = "©";

   function writeCopyright()
   {
      document.write(COPYRIGHT, new Date().getFullYear(), "");
   }