var selected_id = null;
    var dom = document.getElementById;
    function swapIt(id, newclass) {
    if (dom) {
    if(selected_id != id) {
    el = document.getElementById(id);
    el.className = newclass;
    el.style.cursor = "hand";
    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;
    }
    }