function loadpage() {
	//adatta la linea puntata alla lunghezza della colonna destra
	document.getElementById("verticaldotline").style.height = document.getElementById("rightbox").clientHeight + "px";
}

function email(prefisso, testo, colore) {
	var emailHost = "teatrinodellepulci.it";
	document.write("<a href=" + "mail" + "to:" + prefisso + "&#64;" + emailHost+ " >" + testo + "</a>");
}