rename Mersenne