<?
if (is_file('icon/'.$ras.'.png'))
echo "<img src='icon/$ras.png' alt='$ras' />\n";
else echo "<img src='icon/unknown.png' alt='file' />\n";
?>