-cat $xqueryorig | sed -e "s/doc()/doc(\"xmark_tiny.xml\")/g" >tmp.xql
-../main xmark_tiny.xml "$query" results/"$querybase".sxsi
+cat $xqueryorig | sed -e "s/doc()/doc(\"XMark_1.04.xml\")/g" >tmp.xql
+../main XMark_1.04.srx "$query" results/"$querybase".sxsi
saxonb-xquery -o:results/"$querybase".saxon tmp.xql
echo >> results/"$querybase".saxon
diff -w results/"$querybase".sxsi results/"$querybase".saxon >/dev/null || echo $querybase gives different results
saxonb-xquery -o:results/"$querybase".saxon tmp.xql
echo >> results/"$querybase".saxon
diff -w results/"$querybase".sxsi results/"$querybase".saxon >/dev/null || echo $querybase gives different results