/////////////////////////////////////////////////////
// Get browser & platform //////////////////////////
///////////////////////////////////////////////////

browser = ""
platform = ""

if (navigator.appVersion.lastIndexOf('PPC') != -1) {
	platform = "Mac"; }
else if (navigator.appVersion.lastIndexOf('Win') != -1) {
	platform = "Win"; }

if (navigator.appName.indexOf('Netscape') != -1) {
	browser = "NS"; }
else if (navigator.appName.indexOf('Microsoft') != -1) {
	browser = "IE"; }

thisBrowser = platform + browser;

////////////////////////////////////////////////////
// Popout windows standard ////////////////////////
///////////////////////////////////////////////////

function pop_up(url,name,width,height)
        {
        desktop = window.open(url, name, "toolbar=no,location=no,status=no,menubar=no,scrollbars=no,width="+width+",height="+height+",resizable=no");
        desktop.focus();
        }

////////////////////////////////////////////////////
// Popout windows duplicata ////////////////////////
///////////////////////////////////////////////////

function dupliWin(url,name)
        {
        desktop = window.open(url, name, "toolbar=no,location=no,status=no,menubar=no,scrollbars=yes,resizable=yes");
        desktop.focus();
        }

////////////////////////////////////////////////////
// Timer function          ////////////////////////
///////////////////////////////////////////////////


var timer = null
function stop()
{
clearTimeout(timer)
}
function goclock(h, m, s)
{
var seconds = ((s < 59) ? s + 1 : 0)
seconds=((seconds < 10) ? "0" : "") + seconds

var minutes = ((s > 58) ? m + 1 : m)
minutes = ((minutes > 59)? 0 : minutes)
minutes=((minutes < 10) ? "0" : "") + minutes

var hours = ((m > 58) ? h + 1 : h)
hours = ((hours > 23)? 0 : hours)
hours =((hours < 10) ? "0" : "") + hours

var clock = hours + ":" + minutes + ":" + seconds
document.forms[0].display.value = clock

timer = setTimeout("goclock(" + hours + "," + minutes + "," + seconds + ")",1000)
}

////////////////////////////////////////////////////
// Funzioni di Swap        ////////////////////////
///////////////////////////////////////////////////


function swapClass(obj, base_class, swap_class)
	{
	if(obj.className==base_class)
		{
		obj.className=swap_class;
		}
		else
		{
		obj.className=base_class;
		}
	}

function swapBG(obj, base_color, swap_color, base_fg, swap_fg)
	{
	if(obj.style.backgroundColor==base_color)
		{
		obj.style.backgroundColor=swap_color;
		}
		else
		{
		obj.style.backgroundColor=base_color;
		}
	if(base_fg)
		{
		if(obj.style.color==base_fg)
			{
			obj.style.color=swap_fg;
			}
			else
			{
			obj.style.color=base_fg;
			}
		}
	}