// 20090126:ehf

function submit_button_processing_on ( arg_button_id, arg_button_text )
{
	$(arg_button_id).value = arg_button_text;
	$(arg_button_id).disabled = true;
}


function submit_button_processing_off ( arg_button_id, arg_button_text )
{
	$(arg_button_id).value = arg_button_text;
	$(arg_button_id).disabled = false;
}