firefox中的onpropertychange替代方案

document.getElementById('tx1').watch("innerHTML",         function (id, oldval, newval) {            console.log("foo." + id + " changed from " + oldval + " to " + newval);          return newval;  }); 

?