<!--

function toggleNodeDisplay(id) {
  obj = document.getElementById(id);
  if (obj) {
    if (obj.style.display == 'none') {
      obj.style.display = 'block';
    }
    else {
      obj.style.display = 'none';
    }
  }
}
function checkEmptySearch(formElem) {
    var query = trim(formElem.SearchableText.value);
    if (query != '') {
        formElem.SearchableText.value = query;
        return true;
    }
    formElem.SearchableText.value = query;
    formElem.SearchableText.focus();
    return false;
}

function trim(s) {
    if (s) {
        return s.replace(/^\s*|\s*$/g, "");
    }
    return "";
}

//-->