var selected_id = null; 
var dom = document.getElementById; 
function swapclass(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; 
} 
}