ho risolto:

Codice PHP:
<? 
if (file_exists($img)){
echo 
"<img src=\"$img\">";
}
else{
echo 
"<img src=\"../dvds/img_big/img_9.jpg\">";
?>