import std.stdio;
import std.algorithm;
import std.string;
import std.functional;
import std.array;
import std.conv;
import std.math;
import std.typecons;
import std.regex;
import std.range;

void main(){

    int[] ch = [0,6000,4000,3000,2000];
    for(int i=0;i<4;i++){
	auto s = split(readln()).to!(int[]);
	writeln(ch[s[0]]*s[1]);
    }

}