function disableButton() {
document.getElementById("disbutton").disabled = true;
}