<?php
sscanf(fgets(STDIN), "%d", $N);
$N -= 7;
$count = 0;
while($N>1){
    $N /= 10;
    $count ++;
}
$difference = $count-9;
if($difference < 0){
    $difference *= -1;
}
echo $difference;
?>