Problem A
Toggi

Toggi loves the number $\pi$. Toggi quite likes making his computer calulate $\pi$ but that can take quite a long time, depends a bit on the number of digits he wants to calculate. If he calculates the first $n$ digits of $\pi$ it takes $n{\log }_{10}(n)/{10}^6$ seconds, where ${\log }_{10}$ denotes a logarithm of base $10$. He wants to know to how many digits of $\pi$ he can calculate in the time he has. Help him find out.

Input

You are given an integer $C$, the number of seconds Toggi has.

Output

One line containing the integer $n$, the maximum number of digits of $\pi$ that Toggi can calculate in $C$ seconds.

Explanation of Sample Inputs

Toggi can calculate $189481$ digits in one second because

But he can’t calculate more digits in a single seond beause

Scoring

The solution will be tested on input data of varying difficulty and the data is divided into groups as shown in the table below. The solution will then be scored according to how many groups are solved.

1

189481