Function format_clock 

pub fn format_clock(ms: i64) -> String

毫秒 → HH:MM:SS,mmm（小时不截断，不足两位补零）。