入门菌^{[ 8]}