-- [Char]あるいは String を Int にする
toInt :: (String -> Int)
toInt x = read x ::Int

--入力を受け取り、[Int]にする
getInts = do
  x <- getLine
  let y = (map $ toInt) $ words x -- 半角スペースで分割してInt にする
  return y

-- C
divisor :: Int -> [Int]
divisor n = [m | m <- [1..half], n `mod` m == 0]
            where
                half = n `div` 2

prime :: Int -> Bool
prime n = length (divisor n) == 1 

main = do
    x <- readLn :: IO Int
    putStrLn $ show (head $ filter prime [x..])
