#include <stdio.h>

int main() {
    int num;
    //判断标识符  1 : 输出 | 0 : 不输出
    int flag = 1;
    scanf("%d",&num);
    for(int i = 1 ; i <= num ; i++)
    {   
        //每次换数字就更新标识符
        flag = 1;
        if (i % 4 == 0) flag = 0;
        else
            for(int j = i ; j > 0 ; j /= 10)
                if(j % 10 == 4) flag = 0;
        if(flag)
            printf("%d\n",i);
    }
    return 0;
}