There is $HTTP_COOKIE_VARS that php gives you. To find the names use a script like this:
<?php
while (list($key,$val) = each($HTTP_COOKIE_VARS) {
print $key . '<br>';
}
?>
That will list out all the cookies available to that script.