function DOMtreeforeach_rec(node, fun) {
    fun(node);
    var a, c = node.childNodes;
    for (a = 0; a < c.length; a++) {
        DOMtreeforeach_rec(c[a], fun);
    }
}