<!--
var selected_id = null;
var dom = document.getElementById;
var oldclass = "out";

function swap(id, newclass){
if ( selected_id != id ){
document.getElementById(id).className = newclass;
}
}

function down(id, newclass){
if (selected_id != null){
document.getElementById(selected_id).className = oldclass;
}
document.getElementById(id).className = newclass;
selected_id = id;
}
//-->