With Datamaker 4.2 GA, the function string @string(~stime~,HHMMSS)@ produces HH:MM:SS instead of HHMMSS