Cinema Tickets

<?php

$totalTicketCount = 0;
$studentTicketCount = 0;
$standardTicketCount = 0;
$kidTicketCount = 0;

$input = readline();
while ($input != "Finish") {
    $freeSeats = intval(readline());

    $currentTicketCount = 0;

    $inputCurrentTicket = readline();
    while ($inputCurrentTicket != "End") {
        $currentTicketCount++;
        switch ($inputCurrentTicket) {
            case "student":
                $studentTicketCount++;
                break;
            case "standard":
                $standardTicketCount++;
                break;
            case "kid":
                $kidTicketCount++;
                break;
        }
        if ($currentTicketCount == $freeSeats) {
            break;
        }
        $inputCurrentTicket = readline();
    }
    printf("%s - %.2f%% full." . PHP_EOL, $input, $currentTicketCount / $freeSeats * 100);
    $totalTicketCount += $currentTicketCount;

    $input = readline();
}
printf("Total tickets: %d" . PHP_EOL, $totalTicketCount);
printf("%.2f%% student tickets." . PHP_EOL, $studentTicketCount / $totalTicketCount * 100);
printf("%.2f%% standard tickets." . PHP_EOL, $standardTicketCount / $totalTicketCount * 100);
printf("%.2f%% kids tickets." . PHP_EOL, $kidTicketCount / $totalTicketCount * 100);