function enlarge_map() {

	document.getElementById('large_map').style.display = 'block';
	document.getElementById('small_map').style.display = 'none';

} //end function

function reduce_map() {

	document.getElementById('large_map').style.display = 'none';
	document.getElementById('small_map').style.display = 'block';

} //end function