3,787,057 coins