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