#115: html_form_ajax.js, implement ajax overlay