function menusearchkeypress(event, url) {
  if (event.keyCode == 13)
    menusearch(url)
}

function menusearch(url) {
  s = document.getElementById('inputmenusearch').value;
  if (s != '')
    window.location = url + '?s=' + s;
}