function populate_cart_box() {
  var numof = document.getElementById("numofitems");
  var valof = document.getElementById("valueofitems");
  numof.innerHTML = "0";  valof.innerHTML = "$ 0.00";}