query=`cat $i`
xqueryorig="xpath-pt/xquery/$querybase".xql
-cat $xqueryorig | sed -e "s/doc()/doc(\"xmark_test.xml\")/g" >tmp.xql
-../main xmark_test.xml "$query" results/"$querybase".sxsi
+cat $xqueryorig | sed -e "s/doc()/doc(\"xmark_tiny.xml\")/g" >tmp.xql
+../main xmark_tiny.xml "$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