<?php
$distance = (int)trim(fgets(STDIN));
$speed = 100;
$time = $distance / $speed * 60;
$minutes = 0;
if ($time > 60) {
    if ($time % 60 == 0){
        $minutes = 0;
    } else {
        $minutes = $time % 60;
    }
}
echo (floor($time / 60) + 10).":".sprintf("%02s", $minutes);