.
blackjack 1998 jcoq