<?php
$length=(int)trim(fgets(STDIN));
$hours=floor($length/100);
$minutes=($length*60/100)-($hours*60);
$hours=floor($length/100)+10;
while($hours>=24){
  $hours=$hours-24;
}
$hours=sprintf('%02d',$hours);
$minutes=sprintf('%02d',$minutes);
echo $hours.":".$minutes;