岭头过子晋,岩腹憩洪崖。