The 39th Mersenne prime