"python: date, time formatting",time.strftime('%x %X %z')