There are several ways to address email to other users:

    1. (Local Mail)   Type in their full user handle

    2. (Local Mail)   Type in part of their handle; you will be prompted:
                      Do you mean xxxxxxx ? Y/N

    3. (Local Mail)   Type in their user number

    4. (Network Mail)
                      Type in their user number, followed by @,
                      and the network destination node number.

                      Example: 1@1     -> User #1  @ Node  1
                              12@31    -> User #12 @ Node 31

                      If the system you are logged into supports
                      multiple networks, another prompt will ask
                      you for the destination network.