12,242 coins