function searchKeyDown(e)
{
    var keynum = 0;
    if(window.event) // IE
    {
	    keynum = window.event.keyCode
    }
    else if(e.which) // Netscape/Firefox/Opera
    {
	    keynum = e.which
    }
    if (keynum == 13)
    {
    	var targ;
		if (!e) var e = window.event;
		if (e.target) targ = e.target;
		else if (e.srcElement) targ = e.srcElement;
		if (targ.nodeType == 3) // defeat Safari bug		
			targ = targ.parentNode;
		
	    search(targ.value);
	    return false;
    }
    return true;
}

function search(query)
{
	document.location.href = "/search.php?q="+escape(query);
}