#include<bits/stdc++.h>using namespace std;int main(){ int v,t; while(cin>>v>>t) cout<<2*v*t<<endl; return 0;}