<?php
$input=explode(" ",(trim(fgets(STDIN))));
foreach($input as $key=>$value){
  if((int)$value % 15 ==0){
    $input[$key]="FizzBuzz";
  }elseif((int)$value%3==0){
    $input[$key]="Fizz";
  }elseif((int)$value%5==0){
    $input[$key]="Buzz";
  }
}
echo strlen(implode("",$input));