#include <bits/stdc++.h> using namespace std; int main(){ int a,c; char b; cin>>b>>a; switch (b){ case 'P' : printf("%.2f",a*7.0); break; case 'G' : printf("%.2f",a*8.0); break; case 'S': printf("%.2f",a*9.0); break; default: printf("%.2f",a*9.5); break; } }