proper port number