7,188 coins