.
8 deck blackjack jcoq