时间的表示方法有 24 小时制和 12 小时制，无论是哪种，都可以描述成“小时:分钟:秒钟”。现在给出一个 24 小时制的时间，请你将其转换成 12 小时制的时间，并输出。
一个 24 小时制的时间。
一个 12 小时制的时间。
13:30:25
01:30:25
小时、分钟、秒钟的每个部分都由两位数字构成，不足两位的在前面补 0。数据范围:数据很友好，没有特殊的时间。
2025一六八玫瑰园小学组校选