function file_size(name: string65): longint;