function changeDistributor() {
  document.ChangeDistributor.submit();
  return true;
  } // changeDistributor