import sys
print("? 12345")
sys.stdout.flush()
ans=int(input())
print("! 12345")