#include<bits/stdc++.h> using namespace std; int main() { int a,b,a0,b0,abcdefghijk; double c; cin>>a0>>b0; if(a0%17!=0){ for(long long i=a0;i%17==0;i++) a=i; } else a=a0; if(b0%17!=0){ for(int j=b0;j%17==0;j--) b=j; } else b=b0; c=((b-a)/17+1)*(b+a)*0.5; abcdefghijk=(int)c; abcdefghijk=255; cout<<abcdefghijk-51; }