3,985 coins