Compteur de temps

var style_paragraphes = 'font-family:verdana,arial,courier;color:black;font-size:13px;'; /* Cette fois-ci, pour l'aspect esthétique, on applique un style aux paragraphes */
var a = <?php echo $a; ?>;
  
function rafraichir()
{
var texte = ''; 
texte += 'Il s\'ecoule '+a+' secondes.<br/>';
document.getElementById('date').innerHTML = texte;
a += 1;
}
  
document.write('<p style="'+style_paragraphes+'">Bonjour <b>Pikachu</b>,</p>');
document.write('<p id="date" style="'+style_paragraphes+'"></p>');
  
setInterval('rafraichir()',1000);