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 zaplata = 0;
        double finalResult = 0;
        double result = 0;
        double finalFinalResult = 0;

        if (kmMesec <= 5000 && (session.equals("Spring") || session.equals("Autumn"))){
            zaplata = kmMesec * 0.75;
        }
        else if(kmMesec <= 5000 && session.equals("Summer")){
            zaplata = kmMesec * 0.90;
        }
        else if(kmMesec <= 5000 && session.equals("Winter")){
            zaplata = kmMesec * 1.05;
        }
        else if((kmMesec > 5000 && kmMesec <=10000) && (session.equals("Spring") || session.equals("Autumn"))){
            zaplata = kmMesec * 0.95;
        }
        else if((kmMesec > 5000 && kmMesec <=10000) && session.equals("Summer")){
            zaplata = kmMesec * 1.10;
        }
        else if(kmMesec > 5000 && kmMesec <=10000 && session.equals("Winter")){
            zaplata = kmMesec * 1.25;
        }
        else if ((kmMesec > 10000 && kmMesec <= 20000) && (session.equals("Winter") || (session.equals("Spring")
                || session.equals("Autumn") || (session.equals("Summer"))))){
            zaplata = kmMesec * 1.45;
        }

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