def docker_container_port(container):
with settings(quiet()):<EOL><INDENT>output = local(<EOL>'<STR_LIT>' % container,<EOL>capture=True<EOL>)<EOL>return output.split('<STR_LIT::>')[<NUM_LIT:1>]<EOL><DEDENT>
returns the ssh port number for a docker instance

params:
    string container: docker container id

returns:
    string: port number