function displayTextBox(strText) {
	var box = document.getElementById("text_box");
	if(box)
		box.innerHTML = strText;
	else
		alert("text_box non trovato");
}

function deleteTextBox() {
	var box = document.getElementById("text_box");
	if(box)
		box.innerHTML = "";
}