Thats the only way to figure out Army Time. Hour - 12.
Or Hour % 12. It's actully a much simpler way of doing it in script because you don't need to check if the hour is over 12.
%time = (%hour24 % 12) @ (%hour24 >= 12 ? "pm" : "am");