#include <string.h>
#include <stdio.h>

int main(){
   char str[100];
   scanf("%s",str);
   printf("%d\n",strlen(str)-strlen("1000000007"));
}