function update_cart_display()
{
  // FIXME[DRY/reliability]: hardcoded path
  url = '/cart/cart_display_ajax/';
  jQuery.getJSON(url, function(data) {
    set_cart_display(data);
  });
}


function set_cart_display(cart)
{
  var cart_count_and_total = jQuery('#cart_count_and_total');
  var count = cart.cart_count;
  var total = cart.cart_total;
  var currency = cart.currency;
  cart_count_and_total.html('(' + count + ' - ' + currency + total + ')');
}