Ragazzi... gentilissimi!
Nel frattempo ho risolto con questo:

Codice PHP:
<?php
    $num=rand(1,7);
    print("<img src=\"images/".$num.".jpg\">");
?>
Per ora fa al caso mio, ho nominato le immagini tutte con numeri progressivi. Poi, nel caso in cui dovessi avere immagini con nomi diversi dovrò sicuramente adottare la vostra soluzione (che per ora però non mi funziona... studierò di più nel frattempo!)

Grazie ancora.

Bobbyboy