修建臺階的時候，霍元真特意將入山的開闊處修建了一片空地，已經(jīng)預(yù)先留好了山門所在，當(dāng)初工匠們提出連山門一起修了，霍元真沒有同意，就是因為他覺得，自己是早晚能抽取到山門建設(shè)令牌的，不必另外修建了。