var $items;  // Items in our shopping cart

   // Add $num articles of $artnr to the cart

   function add_item($artnr, $num) {
       $this->items[$artnr] += $num;
   }