function force_unlogged_user()
{
    if (isNormalUser() || isAdministrativeUser()) {
        header("Location: /index.php");
    }
}
        }
    }
    ?>
    </table>

<?php 
} else {
    ?>
    <p class="notification red">There are no keys available right now, feed the piggies!</p>

<?php 
}
?>
<br />
<?php 
if (isAdministrativeUser()) {
    ?>
    <div class="notification green" style="max-width:300px;">
        <div id="addkey">
            <p><b>Manually add a key</b></p>
        </div>
        <div class="key">
            <form name="KeyInsert" id="KeyInsert" method="post" action="inc/key_insert_db.php" onsubmit="return ValidateFormKeyInsert(); ">
                <table>
                    <tr>
                        <th>
                            Validation Data
                        </th>
                        <th>
                            Action
                        </th>