  function sSearch () {
    window.location.replace("/"+document.getElementById("query").value.replace(/ /g, "-"));
  }
  function kEnter (e) {
    if (window.event && window.event.keyCode == 13) {
      sSearch();
    } else if (e && e.keyCode == 13) {
      sSearch();
    }
  }

