$ = function(id){ return document.getElementById(id) };
walkDOM = function(node, f){
    f(node);
    var kids = node.childNodes;
    for (var i = 0, l = kids.length; i < l; i++) arguments.callee(kids[i], f)
};