$value) { if ($case==CASE_LOWER) { strtolower($key); } else { strtoupper($key); } $result[$key]=$value; } return $result; } ?>