e = gets.chomp
puts (e.size > 1 && e[0] == '1' && e[1...e.size] == ("3" * (e.size-1))) ? e.size - 1 : -1