<!--
function change(id, newClass) {
	identity=document.getElementById(id);
	identity.className=newClass;
}


function setNomeProdotto(id,mio_prodotto)
{
	document.getElementById("id_nome_prodotto").innerHTML=mio_prodotto[id];
}

function outNomeProdotto(id,mia_linea)
{
	document.getElementById("id_nome_prodotto").innerHTML=mia_linea;
}


//-->