var server_list = [ 'www1.hortplusgis.com', 'www2.hortplusgis.com', 'www3.hortplusgis.com', 'www4.hortplusgis.com',
                    'www5.hortplusgis.com', 'www6.hortplusgis.com', 'www7.hortplusgis.com', 'www8.hortplusgis.com',
                  ];