N = gets.chomp
if N.size >= 2 && N[0..1] == "13" && N[1..-1].split('').uniq.size == 1
    puts N.size - 1
else
    puts -1
end