function submit_holiday_card (form) {
  var total_card_amount;
  /*from form:
  card_amount
  card_quantity
  card_year
  */
  
  //item_name
  /*
  form.item_name.value = "Customized 2008 Holiday Card, with $"
                           + form.card_amount.value
                           + " donation";
  */
  /*
  form.item_name.value = form.card_year.value
                          + ", $"
                          + form.card_amount.value
                          + " donation, with "
                          + form.card_quantity.value
                          + " donation card";
  if(form.card_quantity.value > 1)
    form.item_name.value = form.item_name.value + "s";
  */
  form.item_name.value = form.card_year.value
                          + ", $"
                          + form.card_amount.value
                          + " donation with Donation Card";
 
  //amount
  //I flippin' hate Javascript type conversion. ~julescubtree
  /*
  total_card_amount = +form.card_amount.value + 5;                      
  form.amount.value = "" + total_card_amount;
  */
  /*
  total_card_amount = +form.card_amount.value
                        + (8.26 * (form.card_quantity.value - 1));
  form.amount.value = "" + total_card_amount;
  */
  
  form.submit();
}