SSH ACCESS
==========

SSH is non-accessible by the default port 22. Instead, you must use the same number as your UID.
If you cannot remember your UID, ask an administrator and provide your alphanumeric login name.

Example:
If your UID is 10249, and your username is bobthebuilder, you would type:
ssh -p10249 bobthebuilder@coralcmd.net