//----------------------
//search_form, onsubmit
//----------------------
function SubmitSearchForm(fname) {
	var res;
        
    var fname=fname?fname:document.search_form;
        
        
	res=JSL_ValidateNotEmpty(fname.search_string,'Please enter the search phrase');
	if (res==false)
	{
		if (window.event)
		{
			window.event.returnValue=false;
		}
		return false;
	}

	if (fname.search_string_orig && fname.search_string.value != fname.search_string_orig.value)
	{
		if (fname.page_num) fname.page_num.value='1';
	}

	return true;
}

function navigateTo(pageNum,fname) {
	var fname=fname?fname:document.search_form_1;
  	fname.page_num.value=pageNum;
	fname.submit();
	return true;
}