s=gets.chomp;p s=~/^13+$/?s.size-1:-1