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