88,722 coins