firefox中的onpropertychange替代方案

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