#include<iostream>
using namespace std;

int main()
{
    int v,t;
	while(cin>>v>>t){
		cout<< v*2*t<<endl;
	}
   return 0;
}