import python

select any(File f).getShortName() as filename order by filename