is mersenne prime #5