void FileClose(int)
Closes a file opened using FileOpen. After calling FileClose, the file handle becomes invalid.
Note: opened files which are not closed using this function will be automatically closed after the script has been preprocessed.