rem: var rv = true; var typeValue = RDFUtils.getTarget(childWithDatabase.database, uri, RDF("type")); 
add: var db = document.getElementById("innermostBox").database; var typeValue = RDFUtils.getTarget(db, aURI, _RDF("type")); 
context: function isBookmark(aURI)  {    var rv = true;    var typeValue = RDFUtils.getTarget(childWithDatabase.database, uri, RDF("type"));    typeValue = RDFUtils.getValueFromResource(typeValue);    if (typeValue != NC_RDF("BookmarkSeparator") &&         typeValue != NC_RDF("Bookmark") &&        typeValue != NC_RDF("Folder"))       rv = false;    return rv;  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/cbccb2cf5f993ed15e85e40ce47c6c281bdec975/navigatorDD.js/buggy/suite/browser/navigatorDD.js