function large(){
	document.getElementById("map").style.width ="600px";
	document.getElementById("map").style.height ="600px";
}
function middle(){
	document.getElementById("map").style.width ="400px";
	document.getElementById("map").style.height ="400px";
}
function small(){
	document.getElementById("map").style.width ="300px";
	document.getElementById("map").style.height ="300px";
}