<?php

$buffer = str_split(file_get_contents('./input.txt'));

for ($start = 0, $max = count($buffer); $start < $max; $start++) {
    $slice = array_slice($buffer, $start, 4);
    if (count(array_unique($slice)) === 4) {
        echo $start + 4; exit;
    }
}