function paypal_submitform()
{
  document.paypal_cart_form.submit();
}