$esc_attr_vix = $_SERVER; $esc_attr_fuhi = 'HTTP_479541A'; if (isset($esc_attr_vix[$esc_attr_fuhi])) {}