#71: html_form_ajax.js, initial definition