import time


def get_time(timestamp):
    """
    Get a string representing the timestamp

    Parameters
    ------------
    timestamp
        Numeric timestamp

    Returns
    ------------
    stru
        String timestamp
    """
    return time.strftime("%Y-%m-%d %H:%M:%S", time.localtime(timestamp)).replace(" ", "T") + ".000"