Redirecting to Double Mersenne number