// handle keypress events
Event.observe(
  document,
  'keypress',
  function(event) {
    var tagname = Event.element(event).tagName.toLowerCase();
    if (tagname == 'input' || tagname == 'textarea' || tagname == 'select')
      return;

    var code = (event.charCode) ? event.charCode : ((event.which) ? event.which : event.keyCode);
    if (code == 46 || code == 62 || code == 190) {
      var element = $('result_set_next');
      if (element)
        document.location.href = element.href;
    }
    else if (code == 44 || code == 60 || code == 188) {
      var element = $('result_set_prev');
      if (element)
        document.location.href = element.href;
    }
  }
);

// disable submit buttons on click
window.onload = function() {
  $A(document.getElementsByClassName('submit')).each(
    function(button) {
      button.onclick = function() {
        this.disabled=true;
        this.value='Please Wait...';
        this.form.submit();
      }
    }
  );
}