Formater l'affichage d'un nombre en php

Bonjour,


j'ai dans mon form html un champ "Id" et je veux recuperer depuis la bd la valeur max du champ id de la table technicien puis l'incrementer par 1.

mon exemple:


$select = 'SELECT count(id) FROM utilisateur';

$result = mysql_query($select,$con) or die ('Erreur : '.mysql_error() );

$tablo = mysql_fetch_row($result);

$total = $tablo[0];

//echo $total;

if ($total>0){

$select = 'SELECT max(id) FROM utilisateur';

$result = mysql_query($select,$con) or die ('Erreur : '.mysql_error() );

for ($x=1;$x<=mysql_num_rows($result);$x++){

$tablo = mysql_fetch_array($result);
}


// si le max et 0001

$xid=$tablo[0]+1; // ca me donne 2

// mais je veux garder l format de '0000' pour me donner '0002'
}
else{
$xid='0001';
}

_______

et dans mon form html j'ai:

<input type="text" name="id" size="10" value="<?php echo $xid; ?>">


merci de m'aider svp.