a=gets.strip;p a.match?(/^13+$/)?a.size-1:-1