<!--
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();
}
// -->