Hey there, im trying to set numbers to the following format: 00:00:00,000 For example I might have an output like '1234' and i need it to change to '00:00:01,234' Im lost as to how to solve this issue. Any help appreciated. Thanks.