def get_datetext(year, month, day):
input_format = "<STR_LIT>"<EOL>try:<EOL><INDENT>datestruct = time.strptime("<STR_LIT>" % (year, month, day),<EOL>input_format)<EOL>return strftime(datetext_format, datestruct)<EOL><DEDENT>except:<EOL><INDENT>return datetext_default<EOL><DEDENT>
year=2005, month=11, day=16 => '2005-11-16 00:00:00