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;
}
}