/******************************
 * funzioni globali del sito
 * ***************************/

function ShowHide(rowElement){
        if (document.getElementById(rowElement).style.display == "inline")        
          document.getElementById(rowElement).style.display = "none";
        else document.getElementById(rowElement).style.display = "inline";
}


function buttondown( buttonname )
{
    if (document.images) {
      document[ buttonname ].src = eval( buttonname + "down.src" );
    }
}
function buttonup ( buttonname )
{
    if (document.images) {
      document[ buttonname ].src = eval( buttonname + "up.src" );
    }
}

function ButtonIsDown(buttonname){
 return (document[ buttonname ].src==eval( buttonname + "down.src" ));
}

function toggleButton ( buttonname )
{
    if (document.images) {
      if (document[ buttonname ].src == eval( buttonname + "up.src" )) buttondown(buttonname);
      else buttonup(buttonname);
    }
}

/************************************
 * modifica l'immagine di background di un div
 *************************************/ 
function changedivbackground(divid,img){
  document.getElementById(divid).style.backgroundImage="url('"+img+"')";
} 


/*************************************
 * ritorna il flashplayer movieName
 * ***********************************/ 
function thisMovie(movieName) {
  if(navigator.appName.indexOf("Microsoft") != -1) {
		return window[movieName];
	} else {
		return document[movieName];
	}
};

/****************************************
 * play/pause de flashplayer specificato
 ****************************************/ 
function playAudio(playerName){
  thisMovie(playerName).sendEvent("playpause");
}


/**************************************
 * imposta un cookie
 * name   string  : nome del cookie
 * value:         : valore
 * expires        : tempo di scadenza in minuti
 * path           : inserire / per tutto il dominio
 * domain         : dominio (lasciare vuoto per il dominio corrente)
 ***************************************/      
function Set_Cookie( name, value, expires, path, domain, secure )
{
// set time, it's in milliseconds
var today = new Date();
today.setTime( today.getTime() );

/*
if the expires variable is set, make the correct
expires time, the current script below will set
it for x number of days, to make it for hours,
delete * 24, for minutes, delete * 60 * 24
*/
if ( expires )
{
expires = expires * 1000 * 60;
}
var expires_date = new Date( today.getTime() + (expires) );

document.cookie = name + "=" +escape( value ) +
( ( expires ) ? ";expires=" + expires_date.toGMTString() : "" ) +
( ( path ) ? ";path=" + path : "" ) +
( ( domain ) ? ";domain=" + domain : "" ) +
( ( secure ) ? ";secure" : "" );
}