>>547
$key = array_search(54, $a);