How can a format a string "130005" into "13:00:05"?

Please use the substring notation: 

Set V[mytime]  "&V[time](1-2):&V[time](3-4):&V[time](5-6)"