/rhino/xmlimplsrc/org/mozilla/javascript/xmlimpl/XMLList.java
index = ( ( Integer ) name ) .intValue ( ) ;
return result; } @Override boolean propertyIsEnumerable(Object name) { long index; if (name instanceof Integer) { <extra_id_0> } else if (name instanceof Number) { double x = ((Number) name).doubleValue(); index = (long) x; if (index != x) { return false; }