#include
#include
int main(int argc, char *argv[])
{
int i,n,t,a,c;
scanf("%d",&n);
t=0;
for(i=1;i<=n;i++)
{
c=i;
if(i%7==0)
continue;
else
{
while(c)
{
a=i%10;
c=c/10;
if(a==7)
break;
}
if(c==0)
t=t+i*i;
}
}
printf("%d",t);
system("PAUSE");
return 0;
}