import lang::xml::DOM;

public void getNames(loc a){
	D = parseXMLDOM(readFile(a));
	visit(D){
		case element(_,"Student",[_*,attribute(_,"Name", x),_*]): println(x);
	};
}