# coding: utf-8
ans = len(input()) - len('1000000007')

if ans < 0:
    ans *= -1

print(ans)