他工作了多少时间?用英语怎么说?