[Reduction] #507: filelength