firefox中的onpropertychange替代方案
document.getElementById('tx1').watch("innerHTML", function (id, oldval, newval) { console.log("foo." + id + " changed from " + oldval + " to " + newval); return newval; });
?
