// JavaScript Document

COPYRIGHT = "";

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