" BGCOLOR="#FFFFFF" TEXT="#000000" LINK="#008000" VLINK="004000" ALINK="#00C000">

                                New name

     To rename a file move the selection bar onto the desired file and
proceed like follows:

1) Select the "New name" item in the "File" menu.
2) Press the keys [Ctrl-F3].
3) Press and hold the key [Ctrl], move the mouse cursor to the line
   "F3 New Name" in the prompt panel and press the mouse left button.

     Type in a new file name in the panel that appears on the screen
and hit [Enter]. When specifying the file name you may use the menu for
editing lines in panels.