#include<bits/stdc++.h>
using namespace std;
int main(){
    long long ans;
    int a,b,p,q;
    long long  st=1,f[69];
    //打表记录2的次方的值
    for(int i=0;i<68;++i){
        f[i]=st;
        st*=2;
    } 
    while(~scanf("%d%d",&a,&b)){
        p=min(a,b);
        q=max(a,b);
        ans=0;
        long long i=f[p];
        while(i%7!=1)i++;//找到第一个满足条件的
        for(;i<f[q];i+=7){//七个一循环
            ans++;
        }
        printf("%lld\n",ans);
    }
    return 0;
}