using System;


namespace JoroTheFootball
{
    class Program
    {
        static void Main()
        {
            String year = (Console.ReadLine());
            int holidays = int.Parse(Console.ReadLine());
            int home = int.Parse(Console.ReadLine());
            float fresh = (52 - home) * 2 / 3;
            float hdays = holidays / 2;
            float sum = fresh + hdays + home;

            if (year == "t")
            {
                sum = sum + 3;
                Console.WriteLine(sum);
            }
            else
            {
                Console.WriteLine(sum);
            }
        }
    }
}