不对呀，红生电子的违约金不是18,000吗？怎么变成23,000了？