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