#include <iostream>
using namespace std;

int main() {
    int starter, days, totalDays = 0, i = 0;
    cin >> starter >> days;
    
	int weeks = days / 7;
    totalDays += weeks * 5;

    int remainingDays = days % 7;
    
	if(weeks==0){
    	while(i<days){
    		if(starter<7){
    			if(starter<6){
    				totalDays++;
				}
				starter++;
			}if(starter==7){
				starter=1;
			}
			i++;
		}
		cout << totalDays * 250 << endl;
		return 0;
	}
    

    while (i < remainingDays) {
        if (i <= 5) {  
            totalDays++;
        }
        i++;
    }

    cout << totalDays * 250 << endl;
    return 0;
}