输入描述:

输入有多组输入样例，每一组输入样例占一行。 

对于每一组输入样例，有两个字符串，中间用空格隔开。第一个字符串为原视频播放时长，第二个字符串为播放的倍速。 

第一个字符串有三种情况。 
第一种情况为播放时长不足  秒。格式为 "0:S"。, 如果  的十位为  需要在十位补 。例如，"0:09"、"0:40"。 
第二种情况为播放时长大于等于秒但是不足小时。格式为 "M:S"。，。 如果  的十位为  需要在十位补 ，如果  的十位为  则不需要在十位补 。例如 "6:10"、"16:00" 
第三种情况为播放时长大于等于小时。格式为 "H:M:S"。，，。 如果  的十位为  需要在十位补 ，如果  的十位为  需要在十位补 ，如果  的十位为  则不需要在十位补 。例如 "6:10:00"、"16:01:01" 


第二个字符串为以下种情况下的一种：(不包含引号) 
"0.25x" 
"0.5x" 
"0.75x" 
"1.0x" 
"1.25x" 
"1.5x" 
"1.75x" 
"2.0x" 

本题保证输入数据的组数不超过 

输出描述:

对于每一组测试数据，输出一行，个字符串，代表在设置倍速后视频播放完毕所需要的时间。结果四舍五入精确到秒。输出的字符串的格式同输入的播放时长的字符串的格式。

16:10 1.0x
20:00:00 0.5x

16:10
40:00:00

备注:

本题输出输出的内容中，符号均为英文符号，'x'是英文小写字母。