/* search box functions */

function getSearchText() {
  if (text['search']['text']) {
    return(text['search']['text']);
  }
}

/*
function doSearchForm(locale,siteid) {
  document.HeaderSearch.locale.value = locale;
  document.HeaderSearch.site.value = siteid;
}

function makeSearchBox() {
  doSearchForm(locale,siteid);
  return('<input value="' + getSearchText() + '" class="search_box" type="text" name="anyWords1" id="anyWords1" size="20" onfocus="doHeaderSearchFocus(this);" onKeyPress="checkHeaderSearch(event.keycode)" />');
}
*/