import time


def timestamp_13_to_str(tm, time_format):
    """
    时间戳（长度13）转时间字符串

    :param tm: 时间戳
    :param time_format: 时间字符串的格式串，如"%Y-%m-%d %H:%M:%S"
    :return: 长度为13的时间戳
    """
    return time.strftime(time_format, time.localtime(tm / 1000))