Не поверишь, но я хотел посмотреть реальный размер файла, который качал еще в сентябре. А на самом деле взял цифру наобум. Сейчас проверил: Size - 9 765 085 bytes.