function show_hidden(obj, txt) {
        obj.className = 'debhide';
        obj.innerHTML = txt;
    }