php替换内容方法求教。

怎么替换.body里面的内容，有什么好函数可以简单实现？

a.htm的代码如下：
HTML code:

......
<div class="head"></div>
<div class="body">hello word</div>
<div class="foot"></div>
.......


我想替换成其他内容(由一个php文件post过来)，例如
HTML code:

.......
<div class="head"></div>
<div class="body">
<span>good day</span>
<p>中华人民共和国</p>
</div>
<div class="foot"></div>
........

---

......
    <div class="head"> </div>
    <div class="body"> <?php echo $_REQUEST[名称]?> </div>
    <div class="foot"> </div>
.......

---

PHP code:
// +------ 我以前写的一个替换函数

function file_modify($search_contents, $replace_contents, $filename)
{
$fp = file_get_contents($filename);
$new_fp = str_replace($search_contents, $replace_con