from time import time
from datetime import datetime


def date_string(seconds=None):
    """Date and time as formatted ASCCI text, precise to 1 ms"""
    if seconds is None:

        seconds = time()

    timestamp = str(datetime.fromtimestamp(seconds))
    return timestamp[:-3]