"""tokei"""
import sys
import time
from threading import Timer

def display_time():
    sys.stdout.write(time.strftime("\r%b %d %Y %X", time.localtime()))
    sys.stdout.flush()
    Timer(1.0, display_time).start()

display_time()