Update ex1.xqy