import xml

var s = openin ("t.xml")
var tree = XML.parseStream (s)

foreach node tree {
    if (node.name == "Students") {
        foreach studentnode node {
            if (studentnode.name == "Student") {
                println (studentnode.getAttribute ("Name"))
            }
        }
    }
}