from datetime import datetime


def date_time_from_ts(ts: int) -> str:
    """
    Return a Date-Time string from a timestamp.

    ts : int
        milliseconds since the epec
    Return
    ------
    dtstr : string
        A string with the date and time
    """
    dateTime = datetime.fromtimestamp(ts / 1000.0)
    dateTimeStr = str(dateTime.ctime()) + ": "
    return dateTimeStr