#include<bits/stdc++.h> using namespace std; int main(){ int a; char b; cin>>b>>a; if(b=='P')cout<<a*0.7<<endl; else if(b=='G')cout<<a*0.8<<endl; else if(b=='S')cout<<a*0.9<<endl; else cout<<a*0.95<<endl; return 0; }