ciao a tutti...
mi aiutate a risolvere questa difficoltà?

$fileName = "pippo.jpg";

io vorrei che diventasse

$fileName = "pippo" .rand(0,9999). ".jpg";

NB:
l'estensione potrebbe esser anche .jpeg, quindi di lunghezza di caratteri differenti.

grazie!!