width);},
            "window.screen.availWidth >= 0 && window.screen.availWidth <= window.screen.width");
        test(function(){assert_true(window.screen.availHeight >= 0 && window.screen.availHeight <= window.screen.height);},
            "window.screen.availHeight >= 0 && window.screen.availHeight <= window.screen.height");
        test(function(){assert_in_array(window.screen.colorDepth, [0, 16, 24, 32]);},
            "window.screen.colorDepth == 0 || window.screen.colorDepth == 16 || window.screen.c