改正While句的翻译，当……时。