var geocoder;
	var rot13map=null;

	function geoCodePostal() {

		geocoder=new google.maps.Geocoder();
		f=document.forms['listingSearch'];
		if (f.elements["postal"].value!='') {
			if (f.elements["postal"].value==f.elements["geocode_postal"]) return true;
			geocoder.geocode({'address':f.elements["postal"].value}, function(results,status) {
				if (status==google.maps.GeocoderStatus.OK) {
					var result=results[0].geometry.location;
					f.elements["longitude"].value=result.lng();
					f.elements["latitude"].value=result.lat();
					f.elements["geocode_postal"].value=f.elements["postal"].value;
					f.submit();
				}
				else {
					alert('Sorry, that address was not found.\n');
				}
			});
		}
		else {
			f.elements["geocode_postal"].value="";
			f.elements["longitude"].value="";
			f.elements["latitude"].value="";
			return true;
		}
		return false;
	}

	function rot13init()
	{
	  var map = new Array();
	  var s   = "abcdefghijklmnopqrstuvwxyz";
	  
	  for (i=0; i<s.length; i++)
		 map[s.charAt(i)]			= s.charAt((i+13)%26);
	  for (i=0; i<s.length; i++)
		 map[s.charAt(i).toUpperCase()]	= s.charAt((i+13)%26).toUpperCase();
	  return map;
	}

	function rot13(a)
	{
	  if (!rot13map)
		 rot13map=rot13init();
	  s = "";
	  for (i=0; i<a.length; i++)
		 {
			var b = a.charAt(i);

			s	+= (b>='A' && b<='Z' || b>='a' && b<='z' ? rot13map[b] : b);
		 }
	  return s;
	}