// script shows last modification date of file
function modDateW()
{
	var lastMod = new Date(document.lastModified);
	var monthStg = new String(lastMod.getMonth() + 1);
	if (monthStg.length == 1) {monthStg = "0" + monthStg};
	var dayStg = new String(lastMod.getDate());
	if (dayStg.length == 1) {dayStg = "0" + dayStg};
	var lastModStg = 'page last modified<BR>' + lastMod.getFullYear() + "-" + monthStg + "-" + dayStg;
	document.writeln(lastModStg.fontsize(-2) + '<BR>');
}