#include <iostream>
using namespace std;int main() { int t,v; while(cin>>t>>v){ cout<<(t*2)*v<<endl; } }