x=2001
exec("x+=3;int('%dt'%x,36)%35or print(x);"*x)