#include <stdio.h>

int main() {
    int i = 0;
    while(getchar() != EOF)
        i++;
    printf("%d",i);
    return 0;
}