<!--
   function init()
   {
      title();
      highlight();
      nothanks();
   }
   window.onload = init;
// -->