#include<stdio.h>
int main()
{
    int lo,up;
    long long=0;
    scanf("%d %d",&lo,&up);
    if(lo<0||up<0||lo>up)
    {
        printf("Invalid input");
        return 0;
    }
    for(int a=lo;a<=up;a++)
    {
        if(a%7==0)
        {
            s+=a;
        }
    }
    printf("%11d",s);
}