path = input()
path_split = path.split("\\")

path_file_name_ext = path_split[-1]
path_file_name_ext_split = path_file_name_ext.split(".")

file_name = path_file_name_ext_split[0]
extension = path_file_name_ext_split[1]

print(f"File name: {file_name}")
print(f"File extension: {extension}")