php自动刷新页面（转）

<?php 
//echo "系统当前时间戳为：";
echo "";
echo time();
echo "<br>";
//<!--JS 页面自动刷新 -->
echo ("<script type="text/javascript">");
echo ("function fresh_page()"); 
echo ("{");
echo ("window.location.reload();");
echo ("}"); 
echo ("setTimeout('fresh_page()',1000);"); 
echo ("</script>");
?>