fun readLargeInt () = valOf (TextIO.scanStream (LargeInt.scan StringCvt.DEC) TextIO.stdIn) val () = let val n = readLargeInt () val ans = if n mod 6 = 0 then "Yes" else "No" in print (ans ^ "\n") end