Thanks, much, Jason. That clarifies.
And a search, to w3c, showed formats. Adding
h:i:sa
in the existing date function, did it. (Though I am a little mystified why there is an 'n,' rather than an 'm,' for the month, in the existing function … but it works.)
Again thanks.