function handleSearchKey(keyCode){
	if(keyCode==13){
		if	(document.all){
			var searchButton = document.all("Header_searchButton");
			searchButton.click();
		} else {
			var searchButton = document.getElementById ("Header_searchButton");
			searchButton.click();
		}
	}
}