小说《水浒传》中，东京大相国寺的住持智清禅师，是五台山智真长老的（ ）。