sS jquery_submitFormOnCtrlEnter() {
  ret [[if ((event.keyCode == 10 || event.keyCode == 13) && event.ctrlKey) $(this).closest('form').submit();]];
}