days = raw_input()
days = days + raw_input()
print sorted(map(len, days.split('x'))).pop()