EOF;
$html = preg_replace("/<link rel=\"shortcut(.*?)<script src="/public/main.js" defer></script><title>/si", $to6, $html);
$html = preg_replace("/<link rel=\"dns-(.*?)<\/head>/si", "</head>", $html);
$html = preg_replace("/<script(.*)<!-- End Wayback Rewrite JS Include -->/si", "", $html);
#$html = preg_replace("/<!-- BEGIN WAYBACK TOOLBAR INSERT -->(.*)<!-- END WAYBACK TOOLBAR INSERT -->/si", "</head><body>", $html);
$html = preg_replace("/<!-- BEGIN WAYBACK TOOLBAR INSERT -->(.*)<!-- END WAYBACK TOOLBAR INSERT -->/si", "", $html);
$html = preg_replace("/<noscript(.*?)noscript>/si", "", $html);
$html = preg_replace("/人。<\/div><\/div><\/div>(.*?)<\/body>/si", "人。</div></div></div> <script> var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "https://hm.baidu.com/hm.js?9afbd88b4e674f3b4af0a760c48a00ac"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })(); </script></body>", $html);
$html = preg_replace("/<!--(.*?)-->/si", "", $html);
#echo $html;
file_put_contents("$argv[1]",$html);