#is","",$html); $html = preg_replace("##is","",$html); } ?>