function ltrim(s)
	{
		return s.replace(/^\s*/,"")
	}

	function rtrim(s)
	{
		return s.replace(/\s*$/,"");
	}

	function trim(s)
	{
		return rtrim(ltrim(s));
	}
function submitfun()
	{
		
		 	if(trim(document.frm.search.value)!="")
				{
					document.frm.submit();
					return true;
	
				}
			else
				{
					return true;	
				}
	
	}