import java.util.Scanner;

public class TradeCommissions {
    public static void main(String[] args) {
        Scanner scanner = new Scanner(System.in);
        String city = scanner.nextLine().toLowerCase();
        double sale = Double.parseDouble(scanner.nextLine());
        double commission = 0;
        switch (city) {
            case "Sofia":
                if (sale >= 0 && sale <= 500) {
                    commission = 0.05;
                } else if (sale > 500 && sale <= 1000) {
                    commission = 0.07;
                } else if (sale > 1000 && sale <= 10000) {
                    commission = 0.08;
                } else if (sale > 10000) {
                    commission = 0.12;
                } else {
                    System.out.println("error");
                }
                break;
            case "Varna":
                if (sale >= 0 && sale <= 500) {
                    commission = 0.045;
                } else if (sale > 500 && sale <= 1000) {
                    commission = 0.075;
                } else if (sale > 1000 && sale <= 10000) {
                    commission = 0.10;
                } else if (sale > 10000) {
                    commission = 0.13;
                } else {
                    System.out.println("error");
                }
                break;

            case "Plovdiv":
                if (sale >= 0 && sale <= 500) {
                    commission = 0.055;
                } else if (sale > 500 && sale <= 1000) {
                    commission = 0.08;
                } else if (sale > 1000 && sale <= 10000) {
                    commission = 0.12;
                } else if (sale > 10000) {
                    commission = 0.145;
                } else {
                    System.out.println("error");
                }
                break;
            default:
                System.out.println("error");
                break;
        }
        if (commission > 0) {
            double value = commission * sale;
            System.out.printf("%.2f", value);
            }
        }
    }