/*
#include <stdio.h>
#include <stdlib.h>
int main()
{
printf("Hello world!\n");
return 0;
}
*/
#include <stdio.h>
#include <stdbool.h>
#include <stdlib.h>
int solution(int n, int k)
{
int answer = 0;
for( ; ; )
{
if(n>=10) {
answer += (12000 * 10);
n -= 10;
k--;
}
else {
answer += (12000 * n);
break;
}
}
answer += (2000 * k);
return answer;
}
int main()
{
int a, b;
scanf("%d %d", &a, &b);
printf("%d", solution(a, b));
}
if(n % 7 != 0) answer = n/7+1; else answer = n/7;