// convert all characters to lowercase to simplify testing
var agt=navigator.userAgent.toLowerCase();

// *** BROWSER VERSION ***
var is_IE7 = (agt.indexOf('msie 7.0') != -1);
// *** contenuto slide ticker ***
var slidecontent = "";
var numRec=0;
if(typeof(ticker) == 'undefined') ticker = {};
function open_panel(url) {
	panelWindow = window.open(url, 'Panel', 'resizable=yes,toolbar=no,status=no,scrollbars=yes,location=no,titlebar=no,width=770,height=680');
	panelWindow.focus();
}