// Write the port property to the user's page write(server.port);