<!--//--><![CDATA[//><!--
function loadMap() {
	var sel=document.getElementById("maptype");
	if (sel) {
		var saleType=sel.selectedIndex+1;
		window.location="map.php?saletype="+saleType;
	}
}
//--><!]]>