package truckdriver;

import java.util.Scanner;

public class TruckDriver {
    public static void main(String[]args){
        Scanner scanner = new Scanner (System.in);
        String session = scanner.nextLine();
        double kmMesec = Double.parseDouble(scanner.nextLine());
        double coef = 0;

         if (kmMesec <= 5000){
             if(session.equals("Spring") || session.equals("Autumn")){
                 coef = .75;
             }else if(session.equals("Summer")){
                 coef = .9;
             }else if(session.equals("Winter")){
                 coef = 1.05;
             }
         }else if(kmMesec > 5000 && kmMesec <=10000){
             if(session.equals("Spring") || session.equals("Autumn")){
                 coef = .95;
             }else if(session.equals("Summer")){
                 coef = 1.1;
             }else if(session.equals("Winter")){
                 coef = 1.25;
             }
         }else if(kmMesec > 10000 && kmMesec <= 20000){
             coef = 1.45;
         }

         double zaplata = kmMesec * coef;
         double finalResult = zaplata * 4 ;
         double result = finalResult * 0.10;
         double finalFinalResult = finalResult - result;
         System.out.printf("%.2f",finalFinalResult);
    }
}