<?php
$line = readline();
$list = [];
function test($str) {
    foreach (explode(".", $str) as $part) {
        if (intval($part) > 255) return false;
        if ($part[0] == "0" and !$part == "0") return false;
    }
    return true;
}
for ($i = 1; $i < strlen($line) - 2; $i++) {
    $a = substr($line, 0, $i);
    for ($j = $i + 1; $j < strlen($line) - 1; $j++) {
        $b = substr($line, $i, $j - $i);
        for ($k = $j + 1; $k < strlen($line); $k++) {
            $c = substr($line, $j, $k - $j);
            $d = substr($line, $k);
            $result = "$a.$b.$c.$d";
            if (test($result)) $list[] = $result;
        }    
    }
}
foreach ($list as $ip)
    echo $ip . "\n";
?>