.</li>
</ul>
</li>

<li><code class="arg">permission</code> is an integer to use to set
the file access permissions. The default is <code>rw-rw-rw-</code>
(0666). You can use it to set the permissions for the file's owner,
the group he/she belongs to and for all the other users. For many
applications, the default is fine.</li>
</ul>
</dd>

<dt><code class="keyword">close</code> <code class=
"arg">fileID</code></dt>

<dd>Closes a file previously opened with <code class=
"keyword">open</code>, and flushes any