import java.util.Scanner;

public class FishingBoat {
    public static void main(String[] args) {
        Scanner scan = new Scanner(System.in);

        //int budget = Integer.parseInt(scan.nextLine());
        String season = scan.nextLine();
        int fishermanCount = Integer.parseInt(scan.nextLine());

        int priceOfBoat = 0;
        switch (season) {
            case "Spring":
                priceOfBoat = 3000;
                if (fishermanCount <= 6) {
                    double priceOnSale = priceOfBoat * 0.9;

                } else if (fishermanCount >= 7 && fishermanCount <= 11) {
                    double priceOnSale = priceOfBoat * 0.85;

                } else if (fishermanCount > 12) {
                    double priceOnSale = priceOfBoat * 0.75;
                }
                break;
            case "Summer":
                priceOfBoat = 4200;
                if (fishermanCount <= 6) {
                    double priceOnSale = priceOfBoat * 0.9;

                } else if (fishermanCount >= 7 && fishermanCount <= 11) {
                    double priceOnSale = priceOfBoat * 0.85;

                } else if (fishermanCount > 12) {
                    double priceOnSale = priceOfBoat * 0.75;
                }
                break;
            case "Autumn":
                priceOfBoat = 4200;
                if (fishermanCount <= 6) {
                    double priceOnSale = priceOfBoat * 0.9;

                } else if (fishermanCount >= 7 && fishermanCount <= 11) {
                    double priceOnSale = priceOfBoat * 0.85;

                } else if (fishermanCount > 12) {
                    double priceOnSale = priceOfBoat * 0.75;
                }
                break;
            case "Winter":
                priceOfBoat = 2600;
                if (fishermanCount <= 6) {
                    double priceOnSale = priceOfBoat * 0.9;

                } else if (fishermanCount >= 7 && fishermanCount <= 11) {
                    double priceOnSale = priceOfBoat * 0.85;

                } else if (fishermanCount > 12) {
                    double priceOnSale = priceOfBoat * 0.75;
                }
                break;


        }




    }


}

}