C++ :

#include<bits/stdc++.h>
using namespace std;
long long n,m,ans;
int main()
{
//  freopen("20.in","r",stdin);
//  freopen("20.out","w",stdout);
    cin>>n>>m;
    if(n>m) swap(n,m);
    for(int i=n;;i++)
        if(i%7==0) {n=i;break;} 
    for(int i=m;;i--)
        if(i%7==0) {m=i;break;} 
    long long xs=(m-n)/7+1;
    ans=(m+n)*xs/2;
    cout<<ans;  
     
    return 0;
}