# Process input
s = input()

# Search
listStart = []
maxLen = 0
curLen = 0
for i in range(len(s)):
    ch = s[i]
    if ch.isdigit():
        curLen += 1
        if curLen > maxLen:
            maxLen = curLen
            listStart = [i-curLen+1]
        elif curLen == maxLen:
            listStart.append(i-curLen+1)
    else:
        curLen = 0

# Output
resStr = ''.join(s[x: x+maxLen] for x in listStart)
print(resStr, maxLen, sep=",")