function disable(element) { element.disabled = true; }