s(x)=x?s(x-1)."!":" pr s(248)