 + '/snmp_interface_2/ajax', true);
        xmlHTTP.send(null);
    }


    function init() {
        // Change page background to black if the URL contains "?desktop", for debugging while developing on your computer
        if (document.location.href.indexOf('desktop') > -1) {
            document.getElementById('main_table').style.backgroundColor = 'black';
        }

        doAJAX()
        // Call the refresh function every 5 seconds (should match the data interval of the source data)
        var int=s