12,862 coins