Over 10,000 Muslim names can be identified in Yuan historical records. The standard word used to denote Muslims in Chinese language documents of the late Yuan period is "Huihui". The Muslims were overseen by a Huihui named Yeheidie'erding (Amir al-Din) who designed Qionghua island which sits in the lake of Beihai Park in central Beijing.[3] In the fourteenth century, the total population of Muslims in China was 4,000,000.[1]