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