#include<cstdio>
using namespace std;
int main(void)
{
	int nedan[5]={0,6000,4000,3000,2000};
	int t,n;
	int kin,i;

	for(i=0;i<4;i++)	{
		scanf("%d %d",&t,&n);
		kin=nedan[t]*n;
		printf("%d\n",kin);
	}
	return 0;
}
