#include<iostream> using namespace std; int main(){ char c; double m,n; cin>>c; cin>>m>>n; if(c=='r'){ cout<<m*n; }else if(c=='t'){ cout<<m*n/2; } return 0; }