DOMX::Diff diff = DOMX::Diff::diff(result, res);
//style.save(diff.document(), stdout);
long t2 = getTimer();
diff.patch();
long t3 = getTimer();
DOMX::Diff diff = DOMX::Diff::diff(result, res);
//style.save(diff.document(), stdout);
long t2 = getTimer();
diff.patch();
long t3 = getTimer();