山号は洞谷山(とうこくざん)。