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