function submitButtonsForm(step_nr) {
	document.forms['buttons_form'].step.value = step_nr;
	document.forms['buttons_form'].submit();
}