pi = '3.1415926535897932384626433832795028841971693993751058209749445923078164062862\
089986280348253421170679821480865132823066470938446095505822317253594081284811'

fd = str(input())
id = pi.find(fd)
print(id,id+len(fd), sep=':')