[9fans] ssh port specification

[Rudolf Sykora]

Hello everyone,
I want to connect to a ssh server (v1) with the plan 9 ssh command.
However, the server runs on a non-standard port (not 22).
I can't figure out, how to specify the port number for the ssh command.
Thanks...
Ruda