67 Eradicator

길이 $N$의 수열 $A=[1, 2, \cdots, N]$이 주어진다. $A$에서 최소한의 원소를 제거하고 난 뒤에 남은 원소들을 문자열로 본 후 순서대로 이어 얻은 문자열이 67을 부분문자열(substring)로 가지지 않도록 하려고 한다.

예를 들어서 $[1,2,3,4,5,6,7]$에서 원소 $2$와 $4$를 제거하면 수열은 $[1,3,5,6,7]$이 되고, 이들을 이어 만든 문자열 $13567$은 $67$을 부분문자열로 가지기에 조건에 맞지 않다.

이 때, 제거해야 할 원소 개수의 최솟값을 구해보자.

입력은 다음과 같은 형식으로 주어진다.

$N$

제거해야 할 원소 개수의 최솟값을 출력한다.

• $1 \leq N \leq 10^{18}$.