//
function callback(resptx) {
  var res = eval(resptx);
  if (res[0]) { submit(res[1]); } else { errhandle(res[1]);location.href='#top'; }
};
function validate() {
    var param = ajax.serialize($('InqInfo'));
    ajax.post('validate_form', callback, param);
};

function errhandle(info) {
  var errmsg_area = $('ErrMsgArea');
  errmsg_area.innerHTML = info
};
function submit(hmac_val) {
  var f = $('InqInfo');
  var inp = $('hmac');
  inp.value = hmac_val;
  f.submit();
};