function sottolinea(elemento, classe) {
	elemento.className = classe ;
}
function viola(el) {
	el.className = "viola" ;
}
function bianco(el) {
	el.className = "bianco" ;
}
function ggoto(url) {
	self.location = url ;
}