Laufende Uhrzeit in PHP

hier ein kleiner bis jetzt noch ungetesteter Codeschnipsel aus dem Internet um die laufende Uhrzeit auf einer PHP Seite anzuzeigen.

<html><head>
<title>Uhrzeit</title>
<script type="text/javascript">
<!--
function ausgabe()
{
 a = new Date();
 b = a.getHours(); c = a.getMinutes(); d = a.getSeconds();
 if(b < 10){b = '0'+b;} 
 if(c < 10){c = '0'+c;} 
 if(d < 10){d = '0'+d;}
 zeit = b+':'+c+':'+d;
 window.status = zeit;
}
//-->
</script>
</head>
<body onload="window.setInterval('ausgabe()',1000)">
 ...
</body>
</html>