了亮，字智水。洛阳寺僧。