#include<stdio.h>
int main()
{
    int l,u;
    scanf("%d %d", &1,&u);
    if(1<0 || u<0 || 1>u)
    {
        printf("Invalid input");
        return 0;
    }
    int s=0;
    for(int a=1;a<=u;a++)
    {
        if(a % 7 == 0)
        {
            s +=a;
        }
    }
    printf("%d\n",s);
    return 0;
}