function data_export_format_options($format)
{
    require '../inc/export.inc.php';
    if (in_array($format, array_keys(get_export_formats()))) {
        $GLOBALS['s_export']['target']['filename'] = fix_export_filename_suffix($GLOBALS['s_export']['target']['filename'], $format);
        $GLOBALS['s_export']['format'] = $format;
        $html = export_format_options_table($GLOBALS['s_export']);
        header('Content-Type: text/html;charset=' . $GLOBALS['charset']);
        echo $html;
    }
}
" cols="<?php 
    echo $s_cust['textarea']['cols'];
    ?>
" wrap="virtual"><?php 
    echo htmlspecialchars($s_export['source']['query']);
    ?>
</textarea>
                    </td>
                </tr>
            </table>
        </div>
        <table class="table table-bordered">
            <tr>
                <td valign="top" id="dt_export_format_options">
                    <?php 
    echo export_format_options_table($s_export);
    ?>
                </td>
                <td valign="top">
                    <table class="table table-bordered">
                        <tr>
                            <th align="left" colspan="2"><?php 
    echo $dt_strings['GenOpts'];
    ?>
</th>
                        </tr>
                        <tr>
                            <td>
                                <table class="table table-bordered">
                                    <tr>
                                        <td>