4,015 coins