// JavaScript Document

function PrintPage(){
	if(document.getElementById || document.layers){
		window.print();		//印刷をします
	}
}

//マップ画像差換え

function changeMapImage(url) {
document.getElementById('map').src = url;
}