window.addEventListener(
    'load',
    function() {
        document.body.style.backgroundColor = 'white';
        /*
        window.setTimeout(
            function() {
                document.body.style.backgroundColor = '#ABEBC6';
                var msg = document.getElementById("msg");
                msg.textContent = '(NOTE: the background color was changed by error.js, for checking whether the external js code works)';
            },
            3000);
            */
    });
