var submitDone = false;
 function submitForm(myForm, button)
 {
   if(!submitDone)
   {
     submitDone = true;
     button.disabled = true;
     myForm.submit();
     return true;
   }
   else
   {
     return false;
   }
 }

function collectCheckBoxesToListBox(numberOfAdditionsAndDiscounts, listboxID, checkboxBaseName)
{
 for(var i=0; i<numberOfAdditionsAndDiscounts; i++)
 {
   var fieldName = checkboxBaseName + "_" + i;
   if(document.getElementById(fieldName).checked == true)
   {
     document.getElementById(listboxID).options[i].selected = true;
   }
   else
   {
     document.getElementById(listboxID).options[i].selected = false;
   }
 }
}