#include
int main()
{
x09int n;
x09scanf("%d",&n);
x09int c[10],sum=0,count=0;
x09for(;n>=13;n--)
x09{
x09x09if(n%13==0||n%17==0)
x09x09{
x09x09x09c[count]=n;
x09x09x09sum+=c[count];
x09x09x09printf("%d.%dn",count+1,c[count]);
x09x09x09count++;
x09x09x09if(count>=10) break;
x09x09}
x09}
x09printf("%dn",sum);
x09return 0;
}