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

static char *ReadLine(char *p, size_t size, FILE *fp)
{
    if ((p=fgets(p, size, fp)))
    {
        size_t l = strlen(p);

        while(l && p[l-1] == '\n')
        {
            p[--l] = 0;
        }
    }

    return p;
}

int main(void)
{
    char buff[1024];
    unsigned long long num[9] = {0};
    unsigned long long num_count = 0;
    char *p = NULL;
    int f = 0;
    int cycle = 0;

    ReadLine(buff, sizeof buff, stdin);

    p = strtok(buff, ",");

    while(p)
    {
        num[atoi(p)]++;
        p = strtok(NULL, ",");
    }

    for(cycle = 0; cycle < 80; cycle++)
    {
        unsigned long long zero = 0;

        zero = num[0];

        for(f=0; f < 8; f++)
        {
            num[f] = num[f+1];
        }

        num[6] += zero;
        num[8] = zero;
    }

    for(f = 0; f < 9; f++)
    {
        num_count += num[f];
    }

    printf("num_count=%llu\n", num_count);

    return 0;
}