for(r=readline(i=1999);i++<r;)i%(i%100?4:400)||print(i)