using System;
namespace Solution {
  class Solution {
    static void Main(string[] args) {
        int t, c;
        string cadena = Console.ReadLine();
        string []tc= cadena.Split(' ');
        t=Convert.ToInt32(tc[0]);
        c=Convert.ToInt32(tc[1]);
          switch(t){
            case 1:Console.WriteLine("{0:f2}",c*30000);break;
            case 2:Console.WriteLine("{0:f2}",c*35000);break;
            case 3:Console.WriteLine("{0:f2}",c*60000);break;
            case 4:Console.WriteLine("{0:f2}",c*120000);break;
          }
    }
  }
}