#include<stdio.h>
main()
{
long n,sum,i;
while(scanf("%ld",&n)!=EOF)
{
printf("在1-%ld之间的阶梯数为:\n",n);
sum=0;
for(i=7;i<=n;i++)
if(i%7==0)
if(i%6==5)
if(i%5==4)
if(i%3==2){
sum++;
printf("%ld\n",i);}
printf("在1-%ld之间，有%ld个数可以满足爱因斯坦对阶梯的要求。\n",n,sum);
}}