終南庫谷發現聖寺寶器

終南庫谷內西南，又名胡盧谷。昔有人於山採斫，遇見一寺並石室石門。門內並寶器重大不可勝，然不見僧人。是眾僧供用具度。其人裴回顧眄記誌處所，以所齎瓠盧掛於室樹。下山召村人往尋其谷內，樹上往往悉是瓠盧，莫知蹤跡。今有尋山，云石門扇在山崖傍，半入山下，其半雖出無人力開之。今其谷名庫，地名天藏。故谷口府坊皆名天藏。測其山中則彌勒下生方現於俗耳。