fun readLargeInt () = valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn) fun factorization n = let fun factorizationAux m i = if m < i * i then ( if m <> 1 then [m] else [] ) else ( if m mod i = 0 then i :: factorizationAux (m div i) i else factorizationAux m (i + 1) ) in factorizationAux n 2 end val () = let val n = readLargeInt () val ans = if 3 <= List.length (factorization n) then "YES" else "NO" in print (ans ^ "\n") end