如果真是9k，那也太夸张了吧，联想怎么说也是个大公司