function changeDisplayStyle(id, value) {
	document.getElementById(id).style.display = value;
}

function showMap() {
	changeDisplayStyle("bigmap", "block");
	return false;
	}
function hideMap() {
	changeDisplayStyle("bigmap", "none");
	return false;
	}