//script per nascondere menu di navigazione per Netscape 5 o inferiore													 

function nascondidiv(nomediv) { 
				 var ilmenu = nomediv 
				 if (navigator.userAgent.indexOf('Netscape') > -1 && navigator.userAgent.indexOf('KHTML') == -1)
				 	  { 
						document.getElementById(ilmenu).style.display = 'none';
						}
					}
//fine
// script per fermare e riprendere scorrimento dei premi
function off() {  
if (navigator.product == 'Gecko') {var dd = document.getElementById('scrollpremi');dd.stop(); }
else { scrollpremi.stop(); }
}
function on() {  
if (navigator.product == 'Gecko') { var dd = document.getElementById('scrollpremi');dd.start(); }
else  { scrollpremi.start(); }
}