12,699 coins