#include<stdio.h>
#include<math.h>

int main(){
    int x,n,kilo;
    scanf("%d %d",&x,&n);
    if (n>=7)
    {
        kilo=(n-floor((n/7)*2))*250;
        printf("%d",kilo);
    }else{
        printf("%d",n*250);
    }
    
    return 0;  
    }