<!--
  today=new Date( );
  month=today.getMonth( ) + 1;
  date=today.getDate( );
  year=today.getYear( ); 
    if (year < 2000) 
      year = year + 1900;				
    if (month == 1) 
        document.write("January "+date+", "+year);
      else if (month == 2) 
	document.write("February "+date+", "+year);
      else if (month == 3)
	document.write("March "+date+", "+year);
      else if (month == 4) 
	document.write("April "+date+", "+year);
      else if (month == 5)
	document.write("May "+date+", "+year);
      else if (month == 6) 
	document.write("June "+date+", "+year);
      else if (month == 7)
	document.write("July "+date+", "+year);
      else if (month == 8) 
	document.write("August "+date+", "+year);
      else if (month == 9)
	document.write("September "+date+", "+year);
      else if (month == 10) 
	document.write("October "+date+", "+year);
      else if (month == 11) 
	document.write("November "+date+", "+year);
      else if (month == 12)
	document.write("December "+date+", "+year)
// -->