using System;

namespace Task11_Cinema
{
    class Cinema
    {
        static void Main(string[] args)
        {
            string hall = Console.ReadLine();

            double r = double.Parse(Console.ReadLine());
            double c = double.Parse(Console.ReadLine());


            switch (hall)
            {
                case "Premiere" : Console.WriteLine("{0:f2}", c * r * 12.00 ); break;
                case "Normal": Console.WriteLine("{0:f2}", c * r * 7.50  ); break;
                case "Discount": Console.WriteLine("{0:f2}", c * r * 5.00  ); break;

                default:break;
            }
        }
    }
}