ok cool, thanks! I was quite happy to find a way to choose a server randomly :P