import std.stdio;
import std.string;
import std.conv;
import std.typecons;
import std.algorithm;
import std.functional;
import std.bigint;
import std.numeric;
import std.array;
import std.math;
import std.range;
import std.container;

void main() {
    long[] ary = [6000, 4000, 3000, 2000];
    foreach(int i; 0..4) {
        int[] input = readln.split.to!(int[]);
        writeln(ary[input[0]-1]*input[1]);
    }
}