You should check out the great internet mersenne prime search as well: mersenne.org