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 = (document.all) ? "hand" : "pointer";
		}
	}
}

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