$f = file_get_contents('index1.txt');
$res = str_replace('<!--711054-->', '', $f);
//$res = str_replace('<!--711054-->', $content, $f);
echo $res;