import time def weekday_date_time(): return time.strftime("%A, %d %b %Y at %H:%M:%S")