function hook (obj, name, func) {
var orig = obj [name];
var k = '__prox_' + name;
if (!obj [k]) {
obj [k] = orig;
}
obj [name] = func;
return orig;
}
hook (window, 'setInterval', function (h, ms) {
function f () {
try {
h ();
}
catch (e) { }
}
return window.__prox_setInterval (f, ms);
});