var submitted = false;
function SubmitTheCSVForm() {
  if(submitted == true) { return; }
  document.csvform.csv.value = 'working...';
  document.csvform.csv.disabled = true;
  submitted = true;
  document.csvform.submit();
}