霧ヶ峰も八ヶ岳国立公園だよね。
八ヶ岳全縦走で霧ヶ峰まで行く人いないけど。