function build_search_query(pSearchPath)
{
   text = document.getElementById("s_text").value;
   return pSearchPath + text + "-0.html";
}
function highlight(field)
{
   field.focus();
   field.select();
}