is mersenne prime #4