<!--
function map_show(){
	var map = document.getElementById('map');
	map.style.display = 'block';
}
function map_hide(){
	var map = document.getElementById('map');
	map.style.display = 'none';
}
-->