mc.dogecraft.net |

what is the server port number?