eval"k=->i{z=[%s%%i;z.sort[1]!=z[1]&&z|[]==z}
puts k[1e4]?:INF:(1..1e3).count(&k)"%gets.split*'%i,'