log(log(622143)) / log(622143)