7,087 coins