function format_date(yyyy, mm, dd, hh, mn) {
	wd=new Array('日', '月', '火', '水', '木', '金', '土');
	d=new Date(yyyy, eval(mm)-1, dd, hh, mn);
	document.write(eval(d.getMonth()+1)+'月'+d.getDate()+'日 ('+ wd[d.getDay()] +') '+d.getHours()+'時'+d.getMinutes()+'分 更新');
}

function hi_menu(){
	/* nothing to do */
}