可能是1万，可能是八千，记不住了，总之 维修提示亮了好长时间才去换的。