编程程序,实现时间的格式转换,要求如下: 1、接收由用户输入的时间,格式例如:13时4分20秒 2、从用户输入的字符串中提取时、分、秒 3、将时分秒重新组合,以要求的形式进行输出,例如:13:04:20,其中时分秒均占两个字符的宽度,不足两位的左边补0。注意:输出文本中的冒号要为英文字符。 可参考以下程序进行补全: time=______________________ #输入时间,格式如:13时4分20秒 i=________________________ #获取字符'时'在字符串time中的正向索引 hour=________________________ #提取时,例如13时4分20秒 中的13 j=________________________ #获取字符'分'在字符串time中的正向索引 minute=_______________________ #提取分,例如13时4分20秒中的4 k=________________________ #获取字符'秒'在字符串time中的正向索引 second=______________________ #提取秒,例如13时4分20秒中的20 print('__________________'.format(______________)) #输出时间,格式为13:04:20