int main(int argc, char* argv[])
{
	int n,i=1,b=0;
	
	scanf("%d",&n);
	while(i<=n)
	{
		if(i!=17)
		if(i!=27)
		if(i!=37)
		if(i!=47)
		if(i!=57)
		if(i!=67)
		if(i!=87)
		if(i!=97)
		if(i!=71)
		if(i!=72)
		if(i!=73)
		if(i!=74)
		if(i!=75)
		if(i!=76)
		if(i!=78)
		if(i!=79)
		if(i%7!=0)
		b=b+i*i;
		i++;

	}
	
	
       printf("%d",b);
	   return 0;
}
