10,171 coins