cohomology of S_n