how big was that file?