import datetime print datetime.datetime.fromtimestamp(int(raw_input())).strftime("%m/%d/%Y %H:%M:%S")