// <!--
function dosearch(url, searchctl, searchTitle)
{
    var ctl = document.getElementById(searchctl);
    var keywords = document.getElementById(searchctl).value;    
    if ((trim(keywords) != '') && (trim(keywords) != trim(searchTitle)) )
	{
	    var strUrl;
	    if (url.lastIndexOf('{keyword}') == -1){
    	   strUrl = url + keywords + '/';
	   } else{
    	   strUrl = url.replace('{keyword}', keywords);
	   }
        window.location.href = encodeURI(strUrl);
	}
    else
    {
        alert('Enter Keywords');
        ctl.focus(); 
    }
    return false;
}
// -->