Made 6720 the default port number.

6720 will be the default port number for the server as well, if I'm ever to update it.