dev.py

n = list(input().split())
o = []
for i in range(len(n)):
    tutu = str(n[i])
    o.append(len(tutu))
r = o[0] + o[1]
for t in range(1,len(o)):
    if r >= o[t] + o[t - 1]:
        r = o[t] + o[t - 1]
if n[t] == ".":
    print(r-1)
    print(n[t - 1], n[t])
else:
    print(r)
    print(n[t-1],n[t])