PHP文件自动刷新

<?php 

echo "系统当前时间戳为：";

echo "";

echo time();

//<!--JS 页面自动刷新 -->

echo ("<script type=\"text/javascript\">");

echo ("function fresh_page()");    

echo ("{");

echo ("window.location.reload();");

echo ("}"); 

echo ("setTimeout('fresh_page()',1000);");      

echo ("</script>");