rem: if (span.valueSetByXForms == 0 && textField.value != span.value) { 
add: if (span.valueSetByXForms == 0 && textField.value != newvalue) { 
context: function xformsHandleFirefoxValueChange(property, oldvalue, newvalue) {    var span = this;    var textField = span.childNodes[1];    if (span.valueSetByXForms == 0 && textField.value != span.value) {        span.value = newvalue;        textField.value = newvalue;        xformsDispatchEvent(textField, "change");    } else {        span.valueSetByXForms--;    }    return newvalue;}
meta: 5390	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5390/8ef845162268e05ea951482233d5f5493ec39718/xforms.js/buggy/src/examples/web/ops/javascript/xforms.js