function disp_lstmod(){
	/*
	 * document.write("最終更新時刻： " + document.lastModified);
	 */
	modi = new Date(document.lastModified);
	year = modi.getFullYear();
	month = modi.getMonth()+1;
	day = modi.getDate();

	document.write("Last Modified : " + day + "/" + month + "/" + year); 
}