var selected_id = null;
var dom         = document.getElementById;
function swapStyle(id, newclass) {
    if (dom) {
        if(selected_id != id) {
            el              = document.getElementById(id);
            el.className    = newclass;
            if (navigator.appName=='Microsoft Internet Explorer') el.style.cursor = "hand"; else el.style.cursor = "pointer";
        }
    }
}

function down (id,oldclass,newclass){
    if (dom) {
        if(selected_id != null) {
            document.getElementById(selected_id).className = oldclass;
        }
        el.className = newclass;
        selected_id = id;
    }
}