4,002 coins