入门菌^{[ 9]}