main :: IO ()
main = print . solve =<< getLine

solve :: String -> Int
solve ('1' : '3' : s) | all (== '3') s = 1 + length s
solve _ = -1