// JavaScript Document

/*
Modifica il asincronamente l'HTML di un determinato ID
*/
function changeTextOnId(id,text) {
	var element=getElementFromId(id);
	element.innerHTML=text;
}

/*
Ritorna l'id di un certo elemento HTML in maniera crossbrowser
*/
function getElementFromId(id) {
	var element;
	// se esiste il metodo getElementById
	// questo if sarà diverso da false, null o undefined
	// e sarà quindi considerato valido, come un true
	if(document.getElementById)
		element = document.getElementById(id);
	// altrimenti è necessario usare un vecchio sistema
	else
		element = document.all[id];
	// restituzione elemento
	return element;
}

function setVisibilityById(id,visibility) {
	var element=getElementFromId(id);
	element.style.visibility=visibility;
	if (visibility=='visible')
		element.style.display="block";
	else 
		element.style.display="none";
}