if (serial) { serial = parseInt(serial)+1; 
if (serial) { serial = parseInt(serial, 10)+1; 
  that.getNodeIdentifier = function(node) {    var id   = node.getAttribute('id');    if (!id) {      var name = node.getAttribute('name');      var doc = node.ownerDocument.getElementsByTagName('html')[0];      var attr = MYSTRING+'_id_serial';              /* Get a serial that's unique to this document */      var serial = doc.getAttribute(attr);      if (serial) { serial = parseInt(serial)+1;      } else { serial = 1; }      id = [MYSTRING,'generated_id',name,serial].join('_');      doc.setAttribute(attr,serial);            node.setAttribute('id',id);    }    return id;  };
4463	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4463/f2f7e74d309673ad3626d33dba98afa3e2425cb4/itsalltext.js/buggy/chrome/content/itsalltext.js