Check om Cookie er der, og hvis så gør

if (isset($_COOKIE["hey"])) {
echo "hey!";
}

<?php
if (isset($_COOKIE['admin1'])) {
include("fil.php");
}
?>

.. hvis det skal skrives helt efter hvad du manglede. Ikke fordi det har den store betydning så bliver filen inkluderet lige meget hvad, men koden i filen bliver jo kun udført hvis småkagen er sat.

--
Rune Bromer