#include <iostream>
using namespace std;
int main(){
long long x, y; cin >> x >> y;
int cnt= 0;
long long j= 8;
for(long long i= x; i<= x+y-1; i++){
cnt++;
if(i%7== 0){
cnt-=1;
}
if(i== j){
j+= 7;
cnt-=1;
}
}
cout << cnt;
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgogCnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiAKaW50IG1haW4oKXsKICAgIGxvbmcgbG9uZyB4LCB5OyBjaW4gPj4geCA+PiB5OwogICAgaW50IGNudD0gMDsKICAgIGxvbmcgbG9uZyBqPSA4OwogICAgZm9yKGxvbmcgbG9uZyBpPSB4OyBpPD0geCt5LTE7IGkrKyl7CiAgICAgICAgY250Kys7CiAgICAgICAgaWYoaSU3PT0gMCl7CiAgICAgICAgICAgIGNudC09MTsKICAgICAgICB9CiAgICAgICAgaWYoaT09IGopewogICAgICAgICAgICBqKz0gNzsKICAgICAgICAgICAgY250LT0xOwogICAgICAgIH0KICAgIH0KICAgIGNvdXQgPDwgY250OwogICAgcmV0dXJuIDA7Cn0=