new_name = input().split(' ')
new_name.append('Allen')
print(new_name)