请问sas软件的时间参数格式为ddmmyy：hh：mm：ss怎么把小时和分钟用sas语言提取出来？

01JAN15:00:01：00
类似这样的数据，怎么把00:01:00提取出来，sas萌新跪求帮助！！

data a ;
input dt datetime.;
time=timepart(dt);
format time time.;
cards;
01JAN15:00:01:00
;
run;

使用timepart取出时间部分， 然后进行格式化输出。