<!--
	function func_disableallbuttons(arg_truefalse){
	    if (arg_truefalse != false){
	        arg_truefalse = true;
	    }
		var arr_buttons = document.getElementsByTagName("input");
		for(var var_counter=0; var_counter<arr_buttons.length; var_counter++){
			if (arr_buttons[var_counter].type == "button" || arr_buttons[var_counter].type == "submit") {
				arr_buttons[var_counter].disabled = arg_truefalse;
			}
		}
	}
//-->