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