#475: form_validator.js, define and use 'form_to_validate'