<!-- DisableAndSubmit js -->
<!-- Updated: 04/04/2005 -->

var submitted = 0;
function DisableAndSubmit(formName,buttonName) {
  var elemId = document.getElementById(buttonName);
  if (!submitted) {
    var formId = document.getElementById(formName);
    submitted=1;
    formId.submit();
    elemId.value = "..."+elemId.value;
    elemId.disabled=true;
    return;
  }
  else {
    alert("You already pushed"+elemId.value+"!!");
  }
}