#include <stdio.h>

int main(void) {
	int m,n,sum=0,i;
	scanf("%d %d",&m,&n);
	if(m>n){
		m=n+m;
		n=m-n;
		m=m-n;
	}
	for(i=m;i<=n;i++){
		if(i%17==0)
		  sum+=i;
	}
	printf("%d",sum);
	return 0;
}