Salve gente, premetto che dovete scusare l'ignoranza assoluta in materia...
Vorrei sapere, se possibile, in questo script:

codice:
$line="document.write('";
  if($style==0)
    $line.=$toshow;
    else
    {
    chop($toshow);
	$nb_digits=max(strlen($toshow),$digits);
    $toshow=substr("0000000000".$toshow,-$nb_digits);
    $digits=preg_split("//",$toshow);
    for($i=0;$i<=$nb_digits;++$i)
      if($digits[$i]!="") $line.="<IMG SRC=\"$option[script_url]/stili/$style/$digits[$i].gif\">";
    }
  $line.="');";
  echo "$line";
Come posso fare per inserire un separatore di migliaia nella visualizzazione dei numeri?
Grazie mille anticipatamente!