count($_SESSION["shopping_cart"]);