#include<string.h>

 #include<cstdio>

 #include<stdlib.h>

 using namespace std;

 int main()

 {

     char s[];

     int time[];

     char * p;

     while(scanf("%s",s)!=EOF)

     {

         int result = ;

         int count = ;

         int month[] = {,,,,,,,,,,,,};

         p = strtok(s,"/");//s为要拆分的字符串，必须是char *类型，""里是分隔符，可以" */#"等

         while(p != NULL)//拆分字符串

         {

             time[count++] = atoi(p);//将字符串转化为整型

             p = strtok(NULL,"/");

         }

         if(time[]% ==  || ( time[]%== && time[]%!= ))

             {

                 month[] = ;

             }

             for(int i = ;i < time[];++i)

             {

                 result += month[i];

             }

             result += time[];

             printf("%d\n",result);

     }

     return ;

 }