Abstract: Using modular symbols we attempt to compute the conjectural order of the Tate-Shafarevich groups of simple quotients of J_0(N) having analytic rank 0. We then look for congruences which "explain Sha", in the sense that Mazur described in his NTS talk last semester.