function doSearch() {
	var val = URLEncode(document.SearchForm.txtSearch.value);
	if (val.length == 0) return false;
	location = "/articleResults.aspx?Ne=33&Ntk=articles&N=31+4294967279&Ntt=" + val;
}