#include<stdio.h>
int main(void)
{
		int t,n,x[4],i,j;
		for(i=0;i<4;i++){
			scanf("%d %d",&t,&n);
		if(t==1){
			x[i]=n*6000;
			}
		if(t==2){
			x[i]=n*4000;
			}
		if(t==3){
			x[i]=n*3000;
			}
		if(t==4){
			x[i]=n*2000;
			}
		}	
		for(j=0;j<4;j++){
			printf("%d\n",x[j]);
			}
		return 0;
}	