#include <bits/stdc++.h>
using namespace std;
int main(){
	int v[5];
	v[1]=6000;
	v[2]=4000;
	v[3]=3000;
	v[4]=2000;
	for(int i=0;i<4;i++){
		int t,n;
		cin>>t>>n;
		cout<<v[t]*n<<endl;
	}
	return 0;
}