// JavaScript Document

COPYRIGHT = "Copyright © Riviera Tool 1985 - ";

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