package main

import (
	"fmt"
	"strconv"
	"strings"
)

func main() {
	var t string
	fmt.Scan(&t)
	ts := strings.Split(t, ":")
	h, _ := strconv.Atoi(ts[0])
	m, _ := strconv.Atoi(ts[1])
	m += 5
	fmt.Printf("%02d:%02d\n", (h+m/60)%24, m%60)
}