$size=(stat($file))[7];