// User Script

function enableSubmit(thebutton)
  {
  	document.getElementById(thebutton).disabled=false
  }