function updatePage() {
  if (request.readyState == 4) {
    if (request.status == 200) {
      /* Get the response from the server */
      var response = request.responseText;
      var alert = response.substring(0, 1);
      var alertText = response.substring(2, response.length);
    if (alert == "1") {
      window.location = "cart_done.php";
    } else {
      var currentAlert = 
      document.getElementById("alert");
      replaceText(currentAlert, alertText);
      document.getElementById("continue").disabled=false;
      var currentStatus = 
      document.getElementById("status");
      replaceText(currentStatus, "(( see above error ))");
    }
    } else {
      alert("Error! Request status is " + request.status);
    }
   }
}

function processForm() {
  document.getElementById("continue").disabled=true;
  var currentStatus = 
      document.getElementById("status");
      replaceText(currentStatus, "(( working...please wait ))");
  var product = document.getElementById("product").value;
  var quantity = document.getElementById("quantity").value;
  var url = "update_cart.php";
  request.open("POST", url, true);
  request.onreadystatechange = updatePage;
  request.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");
  request.send("product=" + escape(product) + "&quantity=" + escape(quantity));
}

function redirectCheckout() {
  document.getElementById("checkout").disabled=true;
  window.location = "checkout.php";
}