// display：要素を表示する時の形式を指定します。｜block｜inline｜list-item｜none｜
// <DIV ID="display1" STYLE="display:none">

function disp2(id){
	if(document.all){
		if(document.all(id).style.display == "block"){
			document.all(id).style.display = "none";
		}else if(document.all(id).style.display == "none"){
			document.all(id).style.display = "block";
		}
	}else if(document.getElementById){
		if(document.getElementById(id).style.display == "block"){
			document.getElementById(id).style.display = "none";
		}else if(document.getElementById(id).style.display == "none"){
			document.getElementById(id).style.display = "block";
		}
	}
}

// visibility：要素を表示･非表示を切り替えます。要素そのものはなくなりません。｜visible｜hidden｜
// <DIV ID="display1" STYLE="visibility:hidden">

function disp3(id){
	if(document.all){
		if(document.all(id).style.visibility == "visible"){
			document.all(id).style.visibility= "hidden";
		}else if(document.all(id).style.visibility== "hidden"){
			document.all(id).style.visibility = "visible";
		}
	}else if(document.getElementById){
		if(document.getElementById(id).style.visibility == "visible"){
			document.getElementById(id).style.visibility= "hidden";
		}else if(document.getElementById(id).style.visibility== "hidden"){
			document.getElementById(id).style.visibility = "visible";
		}
	}
}

// document.write("Last update ",document.lastModified)の日付フォーマットを変更するスクリプト

function update2(){
	update = new Date(document.lastModified);
	document.write("Last update ");
	document.write(update.getFullYear(),"/");
	document.write(update.getMonth()+1,"/");
	document.write(update.getDate()," ");
	document.write(update.getHours(),":");
	document.write(update.getMinutes());
}

// document.write("Last update ",document.lastModified)の日付フォーマットを変更するスクリプト
// 月日時分の表示をすべて2桁表示にするスクリプト

function update3(){
	update = new Date(document.lastModified);
	yy = update.getFullYear();
	mm = update.getMonth()+1;
	dd = update.getDate();
	hh = update.getHours();
	ff = update.getMinutes();
	if (mm < 10) { mm = "0" + mm; }
	if (dd < 10) { dd = "0" + dd; }
	if (hh < 10) { hh = "0" + hh; }
	if (ff < 10) { ff = "0" + ff; }
	document.write("Last update ");
	document.write( yy + "/" + mm + "/" + dd + " " + hh + ":" + ff );
}