function post_form(button) {
    button.disabled = true;
    button.form.submit();
}