change server ports

How do I change server ports
especially 13001(That fail to make my server Gm mode)
I want a totorials




PS:I do not speak English too well:rtfm:

#moved

Its not that difficult, you just need to edit all your CONFIG.txt files on Filezilla.
Change the ports.
But be carefully, every mistake can break your Server; do a backup.