($size,$mtime)=(stat($filename))[7,9];