3,940,197 coins