push q1.xquery