《新唐书·列传·卷二十五》
永徽五年，高宗游幸万年宫，让他留守长安，带领四万名工匠修理京城。
永征五年，高宗幸万年宫，留守京师，领徒四万治京城。
In the fifth year of Yonghui, Gaozong visited Wanshou Palace and ordered him to stay in Chang'an and lead 40,000 craftsmen to repair the capital.