function enableButton() {	if(document.getElementById('option').checked){		document.getElementById('edit').disabled='';	} else {		document.getElementById('edit').disabled='true';	}}