<?php
$foo = array("hello" => "world");
$start = microtime();
for ($i=0; $i<1000; $i++)
array_key_exists("hello", $foo);
$end = microtime();
echo ($end-$start)." <-- array_key_exists\n";
$start = microtime();
for ($i=0; $i<1000; $i++)
isset($foo["hello"]);
$end = microtime();
echo ($end-$start)." <-- isset";