<', $html_comprimido); // Exibe o HTML comprimido echo $html_comprimido; ?>