Decimo de lotería nacional dedicado a Coca, BERNUY DE COCA