.
a blackjack ycoq