if (typeof ServerHosts == 'undefined'){
    document.write('<script src="/ananas/ext/ananas/ServerHosts.js?v=2023-1024-1400"></script>');
}