explicitly supplied port number