#include <stdio.h>
void main()
{
int v,t,s;
scanf("%d,%d",&v,&t);
s=v*t*2;
printf ("%d",s);
return 0;
}