function doSearch()
{
	var s = document.getElementById('searchText');
	window.location.href = '/Search/Default.aspx?' + escape(s.value);
}
function doSearchOnSearchPage()
{
	var s = document.getElementById('MainSearchText');
	window.location.href = '/Search/Default.aspx?' + escape(s.value);
}