.
blackjack 4 decks jcoq