function validate_search(field)
{
	if (field.value == null || field.value == "" || field.changed == undefined)
		return false;
	return true;
}

function validate_search_form(thisform,target) {
    if (validate_search(thisform.search)==false) {
      thisform.search.focus();
      return false;
    } else {
      if (target==null||target=="") {
          target = '/s/';
      }
      target += encodeURIComponent(thisform.search.value.replace(/^\s+|\s+$/g,"").replace(/  /g," ").replace(/\//g,"%2F")).replace(/%20/g,"+");
      document.location = target + "?st=user";
      return false;
    }
}

function go(url) {
	document.location = url;
}