Please allow users to select the time format (12 vs 24 hour) directly.
time = today(); //3619617166
formattedTime = format(time, "m/d/y h:m:s");
print(formattedTime); //"09/12/2018 5:12:46 PM"
//What user wants: "09/12/2018 17:12:46"
m/d/y/ H:m:s (capital H to denote 24 hours -- common in other languages)
format(time, "m/d/y h:m:s", 24) - allow it to be specified in the format function, similar to Hour() function
There's some cryptic notes in the Scripting Guide that suggest the format() function chooses 12hr or 24hrs based on the computer settings, which means scripts would end up breaking on some users computers and would be difficult troubleshoot.