.
3 blackjack jcoq