The first one does not work, and the second is korean.
There is another english server but the downloads are kind of broke, it won't let you download more than 20mb of the server.exe after that it just kills the download.
Well you can try if you wan't, let me know if it does work for anyone.
=>
[Only registered and activated users can see links. Click Here To Register...] <=
Maybe looks creapy but it's korean with english patch stuff.