12,171 coins