Html.form: onsubmit attribute.