7,112 coins