#include<cstdio>
typedef long long ll;
inline ll read(){
	ll x=0;
	int f=0,ch=0;
	while(ch<48||ch>57) f=(ch=='-'),ch=getchar();
	while(ch>47&&ch<58) x=(x<<3)+(x<<1)+(ch&15),ch=getchar();
	return f?-x:x;
}
inline void write(ll x,char end=' '){
	if(x==0){
		putchar('0');
		putchar(end);
		return;
	}
	if(x<0) putchar('-'),x=-x;
	int ch[70]={0},cnt=0;
	while(x){
		ch[cnt++]=(int)(x%10);
		x/=10;
	}
	while(cnt--) putchar(ch[cnt]+48);
	putchar(end);
}
ll ans;
ll a,b,c,d;
int main(){
	while(~scanf("%lld",&a)){
		b=read(),c=read(),d=read();
		ll x=b/2017-(a-1)/2017;
		ll y=d/2017-(c-1)/2017;
		ll ans=x*(d-c+1-y)+y*(b-a+1-x)+x*y;
		write(ans,'\n');
	}
	return 0;
}