#include<bits/stdc++.h> using namespace std; int main(){ int a,b,c=0,d; cin>>a>>b; while(b){ b--; if(a%7!=6 && a%7!=0){ c=c+1; } a++; } cout<<c<<endl; return 0; }