7,171 coins