$T(4001)