#include <stdio.h>

char v[1000005];
int erast(long long n)
{
long long i,j;

   for(i=1;i<=n;i++)
   v[i]=i-1;
   {
       for(i=2;i<=n;i++)
       {
           for(j=i+i;j<=n;j+=i)
           {
           v[j]-=v[i];
           }
       }
   }

return v[n];
}



int main()
{

long long b,c,i,j,a;

FILE *fp;
fp=fopen("fractii.in","r");
fscanf(fp,"%lld",&a);

b=0;
for(i=1;i<=10;i++)
{

b+=erast(i);

}


b=b*2+1;
FILE *fw;
fw=fopen("fractii.out","w");
fprintf(fw,"%lld",b);
fclose(fp);
fclose(fw);
return 0;
}