3,893 coins