// Codice Javascript per la costruzione dinamica del banner function Banner(url) { window.open(url); } with (document) { write("
"); } document.getElementById("BANNER").style.cursor = "pointer";
");
}
document.getElementById("BANNER").style.cursor = "pointer";