%index=hash_nodes($tree);
$node=$index{"<NodeValue>"}[0];