fun main() { println(Regex("^13+$").find(readLine()!!)?.value?.length?.minus(1) ?: -1) }