The highest prime number discovered so far is: