[devote]

if ( !document.all ) {
    if ( Object.defineProperty ) {
        Object.defineProperty( document, "all", {
            get: function() {
                return document.getElementsByTagName('*');
            }
        });
    } else if ( Object.prototype.__defineGetter__ ) {
        Object.prototype.__defineGetter__.call( document, 'all', function() {
            return document.getElementsByTagName('*');
        });
    } else {
        document.all = document.getElementsByTagName('*');
    }
}