( cart->get_cart_contents_count(); ?> )