int main()
{
int n,m;
while(~scanf("%d%d",&n,&m))
{
int r1=n/2016,r2=n%2016;
ll ans=0;
for(int i=1; i<=2016&&i<=n; i++)
for(int j=1; j<=m&&j<=2016; j++)
if((i*j)%2016==0)
{
ll k1=1+(n-i)/2016;
ll k2=1+(m-j)/2016;
ans+=k1*k2;
}
printf("%lld\n",ans);
}
return 0;
}