use std::io::*;
use std::str::FromStr;

#[allow(dead_code)]
fn get_line() -> String {
    let stdin = stdin();
    let mut line = String::new();
    stdin.lock().read_line(&mut line).expect("io error.");
    line.trim().to_string()
}

#[allow(dead_code)]
fn cast<T: FromStr>(s: &str) -> T {
    s.parse().ok().expect("parse error.")
}

#[allow(dead_code)]
fn get_vec<T: FromStr>() -> Vec<T> {
    (&get_line()).split(':').map(cast::<T>).collect()
}

fn main() {
    let v: Vec<u64> = get_vec();
    let t = (v[0] * 60 + v[1] + 5) % 1440;
    println!("{:02}:{:02}", t / 60, t % 60);
}