
int main(int argc, char* argv[])
{
	int n,i,sum,c;n>1&&n<100;
	sum=0;	
	scanf("%d",&n);
i=0;
	while(i<n)
	{
		i++;
		c=i/10;
		if(i%7==0||i/10==7||i-c*10==7)
		{
			continue;

			
		}
		sum=sum+i*i;
	}
	printf("%d\n",sum);
	return 0;
}
