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