3,862 coins