using System;

class Program
{
    static void Main()
    {
        string town = Console.ReadLine();
        double valueSell = double.Parse(Console.ReadLine());

        if (town == "Sofia")
        {
            if (0 <= valueSell && valueSell <= 500)
            {
                valueSell *= 0.5;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else if (500 < valueSell && valueSell <= 1000)
            {
                valueSell *= 0.7;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else if (1000 < valueSell && valueSell <= 10000)
            {
                valueSell *= 0.8;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else if (valueSell > 10000)
            {
                valueSell *= 1.2;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else
            {
                Console.WriteLine("error");
            }
        }
        else if (town == "Varna")
        {
            if (0 <= valueSell && valueSell <= 500)
            {
                valueSell *= 0.45;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else if (500 < valueSell && valueSell <= 1000)
            {
                valueSell *= 0.75;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else if (1000 < valueSell && valueSell <= 10000)
            {
                valueSell *= 1.0;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else if (valueSell > 10000)
            {
                valueSell *= 1.3;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else
            {
                Console.WriteLine("error");
            }
        }
        else if (town == "Plovdiv")
        {
            if (0 <= valueSell && valueSell <= 500)
            {
                valueSell *= 0.55;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else if (500 < valueSell && valueSell <= 1000)
            {
                valueSell *= 0.8;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else if (1000 < valueSell && valueSell <= 10000)
            {
                valueSell *= 1.2;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else if (valueSell > 10000)
            {
                valueSell *= 1.45;
                Console.WriteLine("{00:F2}", valueSell / 10);
            }
            else
            {
                Console.WriteLine("error");
            }
        }
        else
        {
            Console.WriteLine("error");
        }
    }
}