72,038 coins