using System;

namespace _05.FishingBoat
{
    class Program
    {
        static void Main(string[] args)
        {
            int budget = int.Parse(Console.ReadLine());
            string season = Console.ReadLine();
            int fisherCount = int.Parse(Console.ReadLine());

            double rentBoat = 0;
            if (season == "Spring")
            {
                rentBoat = 3000;
            }
            else if (season == "Summer" || season == "Autumn")
            {
                rentBoat = 4200;
            }
        }
    }
}