cart->get_cart_contents_count()); ?>