陵洞」の副駅名が与えられている.
」