(a=*12..7e3).map{|i|b=i.to_s.bytes b==a&b&&p(i)}