#include <stdio.h>
int main()
{
int k,i,sum=0,num=0;
scanf("%d",&k);
for(i=k;i>=1;i--)
{
if(i%13==0 || i%17==0)
{
sum+=i;
num++;
if(num==0)
break;
}
}
printf("%d",sum);
return 0;
}