from datetime import datetime def happytime(date: datetime): return date.strftime("%Y-%m-%d %H:%M:%S")