Out of his "Yiyang visit to the ancient".
Shi Jianwu (780-86 1) was a scholar in the fifteenth year (AD 820). He was born in Tongxian Township, Fenshui County, Tang Dynasty, and was named Dong Zhai. After entering the Taoist temple, he was called Qi Zhenzi.