Improved is24-server script to give back the number for a given server