changed restxq.xqm