#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
typedef long long int ll;

int main(){
	int x[]={6,4,3,2};
	for(int i=0;i<4;i++){
		int a,b; cin >> a >> b;
		cout << x[a-1]*1000*b << endl;
	}
}
