from datetime import datetime, timedelta


def main():
    a = int(input())
    time = 60 * a // 100
    departure = datetime(year=2022, month=10, day=21, hour=10)
    arrival = departure + timedelta(minutes=time)
    print(arrival.strftime("%H:%M"))


if __name__ == "__main__":
    main()