Originariamente inviato da ZioLuffio
Secondo me all'inizio hai degli spazi prima delle cifre. Prova così:

Codice PHP:
$str_tmp = preg_replace("/^d+/", "", trim($eletto)); 
secondo me hai ragione

in casi così è sempre una buona idea di stampare i valori individualmente