function showupdatedate(){
	upDate=new Date(document.lastModified);
	wkmm=upDate.getMonth()+1;
	wkdd=upDate.getDate();
	wkyy=upDate.getFullYear();
	document.write("...Last update: "+wkyy+"/"+wkmm+"/"+wkdd+"...");
}