There's a constant somewhere which defines the default server port. Can we use that variable here instead of the magic number?