;
function enableBtn(){ document.getElementById("button1").disabled = false; }