<?php
$time = trim(fgets(STDIN));
list($hour,$minutes) = explode(":", $time);
$minutes += 5;
if ($minutes >= 60){
    $hour ++;
    if ($hour >= 24) {
        $hour -= 24;
    }
    $minutes -= 60;
}
echo sprintf("%02s",$hour).":".sprintf("%02s",$minutes);