#include <stdio.h>

int main(void) {
    FILE *f = stdin; // use fopen
    int i, score;
    char buf[1024];
    for (i = 0 ; i != 11 ; i++) {
        fgets(buf, 1024, f);
    }
    fscanf(f, "%*[^<]%*[<]%d", &score);
    printf("%d\n", score);
    return 0;
}