<!--
//ファイルの日付を表示する
if( navigator.appVersion.substring(0,1) >= '3' &&
    navigator.platform.substring(0,3).toUpperCase() == 'WIN'){
    ymd = new Date(document.lastModified);
    with(ymd){
        yy = getYear();
        if( yy < 50 ){
            yy += 2000;
        }
        else if( yy < 1900 ){
            yy += 1900;
        }
        mm = getMonth() + 1; if( mm < 10 ) mm = "0" + mm;
        dd = getDate();      if( dd < 10 ) dd = "0" + dd;
        hh = getHours();     if( hh < 10 ) hh = "0" + hh;
        mi = getMinutes();   if( mi < 10 ) mi = "0" + mi;
        ss = getSeconds();   if( ss < 10 ) ss = "0" + ss;
    }
    ymd = yy + "/" + mm + "/" + dd + " " + hh + ":" + mi + ":" + ss;
}
else{
    ymd = document.lastModified;
}
document.write('<font size="-1">最終更新日　' + ymd + '</font>');
// -->


