do_check_eq(root.getChild(0).bookmarkId, a); do_check_eq(root.getChild(1).bookmarkId, b); do_check_eq(root.getChild(2).bookmarkId, c); 
do_check_eq(root.getChild(0).itemId, a); do_check_eq(root.getChild(1).itemId, b); do_check_eq(root.getChild(2).itemId, c); 
  function checkOrder(a, b, c) {    do_check_eq(root.getChild(0).bookmarkId, a);    do_check_eq(root.getChild(1).bookmarkId, b);    do_check_eq(root.getChild(2).bookmarkId, c);  }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/33a988643d569646ad755d5c22f56d2b3ab271c5/test_result_sort.js/buggy/toolkit/components/places/tests/unit/test_result_sort.js