// JavaScript Document
image1 = new Image();
image1.src = "";

image2 = new Image();
image2.src = "";

function KeyDownHandler(event) {
			if (event.keyCode == 13)
				{
				// submit the form by programmatically hiting enter key
				ShowResult();
			//	return;
			} 
		}
		
function UpdateContent(param, url, contentHolder)
	{
		var j=0;
		var ajaxUrl=url;
		var content;
		ajaxUrl+=param;
		
		xmlreqGET(ajaxUrl, contentHolder);
	}


function ShowResult()
	{
		var param=document.form1.zip.value;
		var url="/_templates/search.php?zip=";
		var contentHolder="search_result";
		document.getElementById(contentHolder).innerHTML=' ';
		UpdateContent(param, url, contentHolder);
		return false;
	}