// Apply this function to the "form" element of the desired form during
// the "onsubmit" event. Pass the form's submit button as a parameter.
function preventDoubleSubmit (submitButton) {
	submitButton.disabled = true;
}