import Control.Monad
import Data.Functor
import Data.List

readInt :: String -> Int
readInt = read

main :: IO ()
main = do
  lis <- sort <$> map readInt <$> words <$> getLine
  let (x:xs) = take 4 lis
  let (y:ys) = take 4 $ drop 4 lis
  let (z:zs) = drop 8 lis
  putStrLn $ if all (== x) xs && all (== y) ys && all (== z) zs then "yes" else "no"