rem: button.className = button.className + " disabled"; button.value = button.value + "*"; 
add: button.form.submit(); 
context: function submitFormDisableButton(button) {    if (button.form.action != null && button.form.action.length > 0) {        button.disabled = true;    }    button.className = button.className + " disabled";    button.value = button.value + "*";}                                                                                                                                                                                                                          
meta: 792	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/792/843be8b0f8b672c69a797cb217b211628214cf20/selectall.js/buggy/framework/images/webapp/images/selectall.js