#include <stdio.h>
#include <stdlib.h>
#include<string.h>
int main() {
    int n;
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
    {
        char buf[12];
        sprintf(buf, "%d", i);//数字转字符串
        if(strchr(buf, '4')!=NULL)
        {
            continue;
        }
        if(i%4==0)
        {
            continue;
        }
        printf("%d\n",i);
    }
    return 0;
}