// 输出 HTML 内容
echo $html;
?>