@ZIPDFILE[ziparchive,n]:  Returns the decompressed name of file n in a .zip archive.

 

See also ZIP and UNZIP.