" ); $html_text = preg_replace ($php_code, $php_text, $html_code); echo("$html_text"); ?>