#include<iostream>
using namespace std;

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