Lucky Numbers

Petya는 행운의 수를 좋아한다. 양의 정수의 십진수 표현에 4와 7 이외의 숫자가 포함되지 않으면 그 정수를 행운의 수라고 한다는 것은 모두가 알고 있다. 예를 들어, 47, 744, 4는 행운의 수이고 5, 17, 467은 그렇지 않다.

행운의 수의 십진수 표현에 숫자 4와 7이 같은 개수만큼 포함되어 있으면 초행운의 수라고 한다. 예를 들어, 47, 7744, 474477은 초행운의 수이고 4, 744, 467은 그렇지 않다.

어느 날 Petya는 양의 정수 n을 발견했다. n보다 작지 않은 가장 작은 초행운의 수를 찾도록 도와주자.

유일한 줄에 양의 정수 n (1 ≤ n ≤ 10100000)이 주어진다. 이 수에는 선행 영이 없다.

n보다 크거나 같은 가장 작은 초행운의 수를 출력한다.