#include <stdio.h>
int main() {
int n;
scanf("%d",&n);
for(int i=1;i<=n;i++)
{
if(i%4!=0)
{
int j=i;
while(j>0)
{
if(j%10==4)
{
break;
}
j/=10;
if(j<=0)
{
printf("%d\n",i);
}
}
}
}
return 0;
}

京公网安备 11010502036488号