15,171 coins