function icon( $filename) { $pos = strrpos($filename,"."); $ext = substr($filename, $pos+1 ); $imagename = $ext.".gif"; if( !file_exists("images/icons/".$imagename) ) $imagename="default.gif"; return $imagename; } ?>