function doSearch(query) {
  var url = document.location.href;
/*  if (url.substr(url.length-1)!="../default.htm") {
    url+="../default.htm";
  }*/
  var arr = url.split("../default.htm");
  arr[arr.length-1]="";
  query = escape(query);
  url = arr.join("../default.htm") + query;
  document.location.href=url;
}