<!--
function winopen(path)
{
window.open(path, "_blank", "width=720, height=600, resizable=yes, scrollbars=yes");
}

function roll_on(imgNum, ext)
{
if (document.images)
  {
  eval("document.images['link"+imgNum+"'].src = document.attivi["+ext+"].src");
  }
}

function roll_off(imgNum, ext)
{
if (document.images)
  {
  eval("document.images['link"+imgNum+"'].src = document.passivi["+ext+"].src");
  }
}
-->