stirlings2(8,4)*4!