<!--
function activate (id, newclass) {
	document.getElementById(id).className = newclass;
}
//-->