for $a in collection("11.8.3.dbxml")/article[@id="9"]
return
    $a