// Copyright Year
<!--
	today=new Date();
	y0=today.getFullYear();
// end hiding --->