.
5 blackjack dcoq