#include <stdio.h>

int main() {
    int x, n;
    int s = 0;
    int t;

    scanf("%d %d", &x, &n);

    t = n; 

    for (int i = 0; i < n; i++) {
        x++;  
        if (x > 7) {
            x = 1;  
        }

        if (x == 6 || x == 7) {
            t--;
        }
    }

    s = 250 * t;

    printf("%d\n", s);

    return 0;
}