function doSearch()
{
    var _searchBox = document.getElementById("srch_tbx");
    window.location.href = "/search/default.aspx?Page=1&Words=" + escape(_searchBox.value) + "&in=Article";
}

function isEnterPressed(e)
{
	var _char
	if(e && e.which)
	{
		e = e;
		_char = e.which; // NN4 specific code
	}
	else
	{
		e = event;
		_char = e.keyCode; // IE specific code
	}
	if(_char == 13) return true;   // Enter key is 13
	else return false;
};