filesize

filesize -- get file size

Description

int filesize(string filename);

Returns the size of the file, or false in case of an error.