function inputFocus() {
  return;
}
function inputBlur() {
 return;
}
function addg () {
  return;
}
function submitQuery() {
  window.location = '/search_index.html?q=' + encodeURIComponent(document.getElementById('query-input').value);
  return false;
}