// JavaScript Document
<!--
    today=new Date();
    y0=today.getFullYear();

  // end hiding --->