Mettiamo d'avere sul server il file 5dxnfxyb27_nome_file.pdf e voglio cambiarlo in 12345678900_nome_file.pdf, quindi solo la parte codice_ che io non conosco. Come faccio?