IntegerLength[(2^4031399+1)/3]