import Control.Applicative ((<$>), (<*>))
import Control.Monad
import Data.List

main :: IO ()
main = do
  solve <$> getLine >>= putStrLn

solve :: String -> String
solve ss = take 4 ss ++ (' ' :  drop 4 ss)

getl :: (String -> a) -> IO a
getl f = f <$> getLine
