<!--
if (document.images)
  {
  document.attivi = new Array();
  document.passivi = new Array();
  document.attivi[0] = new Image();
  document.attivi[0].src = "images/link0on.gif";
  document.passivi[0] = new Image();
  document.passivi[0].src = "images/link0.gif";
  }
-->