法名は洪元英範大童子。