#include <iostream>
#include <string>
#include <iomanip>
using namespace std;
class ticket
{
    private:
    string type;
    double baseprice;
    
    public:
    ticket(const string t, double price):
    {
        type=t;
        baseprice=price;
    }
    double getfinalprice() const
    {
        double discount=0.0;
        if(type=="Adult")
        {
            discount=0.0;
        }
        else if(type=="Child")
        {
            discount=0.20;
        }
        else if(type=="Senior")
        {
            discount=0.15;
        }
        else if(type=="Student")
        {
            discount=0.10;
        }
        return baseprice*(1.0-discount);
    }
};
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);
    string tickettype;
    double baseprice;
    if(!getline(cin,tickettype)) return 0;
    if(!(cin>>baseprice)) return 0;
    ticket ticket(tickettype,baseprice);
    double finalprice=ticket.getfinalprice();
    if(finalprice<0.0)
    {
        cout<<"Invalid input";
    }
    else
    {
        cout<<fixed<<setprecision(2)<<finalprice;
    }
    return 0;
}