3,895 coins