document.getElementById('SearchBox').onkeypress = KeyPressedSearch;
						function NavigateSearch() 
						{
							var kwds = document.getElementById('SearchBox').value;
							if (kwds == "") return;
							
							window.location = "ResultsGeneral.html?stype=0&kwds=" + escape(kwds); 
						}
						function KeyPressedSearch(e)
						{
							if (e == null) e = window.event;
							if (e.keyCode == 13)
								NavigateSearch();
						}