//Funzioni di supporto per Mozilla: cambio classe al volo
function changeClass(sectionid, newclass) {
	var sect=document.getElementById(sectionid);
	sect.className=newclass;
}