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;
            finalResult = zaplata * 4 ;
            result = finalResult * 0.10;
            finalFinalResult = finalResult - result;
            System.out.printf("%.2f",finalFinalResult);
        }
        else if(kmMesec <= 5000 && session.equals("Summer")){
            zaplata = kmMesec * 0.90; // 3109.5
            finalResult = zaplata * 4 ;
            result = finalResult * 0.10;
            finalFinalResult = finalResult - result;
            System.out.printf("%.2f",finalFinalResult);
        }
        else if(kmMesec <= 5000 && session.equals("Winter")){
            zaplata = kmMesec * 1.05;
            finalResult = zaplata * 4 ;
            result = finalResult * 0.10;
            finalFinalResult = finalResult - result;
            System.out.printf("%.2f",finalFinalResult);
        }
        else if((kmMesec > 5000 && kmMesec <=10000) && (session.equals("Spring") || session.equals("Autumn"))){
            zaplata = kmMesec * 0.95;
            finalResult = zaplata * 4 ;
            result = finalResult * 0.10;
            finalFinalResult = finalResult - result;
            System.out.printf("%.2f",finalFinalResult);
        }
        else if((kmMesec > 5000 && kmMesec <=10000) && session.equals("Summer")){
            zaplata = kmMesec * 1.10;
            finalResult = zaplata * 4 ;
            result = finalResult * 0.10;
            finalFinalResult = finalResult - result;
            System.out.printf("%.2f",finalFinalResult);
        }
        else if(kmMesec > 5000 && kmMesec <=10000 && session.equals("Winter")){
            zaplata = kmMesec * 1.25;// 7097,5
            finalResult = zaplata * 4 ;// 28 390
            result = finalResult * 0.10;
            finalFinalResult = finalResult - result;
            System.out.printf("%.2f",finalFinalResult);
        }
        else if ((kmMesec > 10000 && kmMesec <= 20000) && (session.equals("Winter") || (session.equals("Spring")
                || session.equals("Autumn") || (session.equals("Summer"))))){
            zaplata = kmMesec * 1.45; // 23260.9
            finalResult = zaplata * 4 ; // 93043.6
            result = finalResult * 0.10; //                   - 9304.36
            finalFinalResult = finalResult - result;
            System.out.printf("%.2f",finalFinalResult);
        }
    }
}