#188: html_form_ajax.js, test which prints JSON element