#include<stdio.h>
int mul(int x,int sum)
{
	int a=0,bs=0,i;
	for(i=1;a<=sum;i++)
  {
	  bs+=a;
	  a=i*x;
  }
	return bs;
}
int main ()
{
  int i,sum=0,a=0,bs=0;
  char s[7];
  scanf("%s",s);
  for(i=0;s[i];i++)
  sum=sum*10+s[i];
  bs=mul(3,sum)+mul(5,sum)-mul(15,sum);
  sum=(sum+1)*sum/2-bs;
  printf("%d",sum);
  return 0;
}