########

#include <stdio.h>
#include <stdlib.h>
int main()
{
    int x,n;
    scanf("%d %d",&x,&n);
    int a=0,b=0,c=0;
    a=8-x;
    int m;
    if(a-2<=0)
        m=0;
    else
        m=a-2;
    b=(n-a)/7;
    c=(n-a)%7;
    int count=0;
    count=m+b*5+c;
    printf("%d",count*250);
    return 0;
}