function sendForm(phpFile,livello,form)
      			{
   
   			var param			= $(form).serialize();	
   					
   			var mtRequest		= new Ajax.Updater(livello,phpFile,{method:'post',parameters: param,evalScripts: true});
      			}
   			
   			
   function load(phpFile,livello)
   			{
			var mtRequest		= new Ajax.Updater(livello,phpFile,{evalScripts: true});
   			}    
   			
function zoom(stream,src,ses,orig,etichetta)
	{
	var orig	= escape(orig);
	var etichetta	= escape(etichetta);
	
	var variables   = "etichetta="+etichetta+"&stream="+stream+"&sor="+src+"&ses="+ses+"&originale="+orig;
	var flashswf	= "/images/download.swf";
	
	
	
	
	
	
	
	var flashvars = {'etichetta':etichetta, 'stream':stream, 'sor':src,'ses':ses,'originale':orig};
	var params = {};
	var attributes = {};
 
	swfobject.embedSWF("../images/download.swf", "myZoom", "200", "40", "9.0.0","../images/expressInstall.swf", flashvars, params, attributes);

  	
	}   	
	
	
function down(stream,src,ses,orig,etichetta)
	{
	var orig	= escape(orig);
	var etichetta	= escape(etichetta);
	
	var variables   = "etichetta="+etichetta+"&stream="+stream+"&sor="+src+"&ses="+ses+"&originale="+orig;
	var flashswf	= "/images/download.swf";
	
	
	
	
	
	
	
	var flashvars = {'etichetta':etichetta, 'stream':stream, 'sor':src,'ses':ses,'originale':orig};
	var params = {};
	var attributes = {};
 
	swfobject.embedSWF("../images/download.swf", "myDown", "200", "40", "9.0.0","../images/expressInstall.swf", flashvars, params, attributes);

  	
	}   
	
function updateClock ( )
{
  var currentTime = new Date ( );

  var currentHours = currentTime.getHours ( );
  var currentMinutes = currentTime.getMinutes ( );
  var currentSeconds = currentTime.getSeconds ( );

  // Pad the minutes and seconds with leading zeros, if required
  currentMinutes = ( currentMinutes < 10 ? "0" : "" ) + currentMinutes;
  currentSeconds = ( currentSeconds < 10 ? "0" : "" ) + currentSeconds;

  // Choose either "AM" or "PM" as appropriate
  var timeOfDay = ( currentHours < 12 ) ? "AM" : "PM";

  // Convert the hours component to 12-hour format if needed
  //currentHours = ( currentHours > 12 ) ? currentHours - 12 : currentHours;

  // Convert an hours component of "0" to "12"
  // currentHours = ( currentHours == 0 ) ? 12 : currentHours;

  // Compose the string for display
  var currentTimeString = currentHours + ":" + currentMinutes + ":" + currentSeconds;

  // Update the time display
  document.getElementById("clock").firstChild.nodeValue = currentTimeString;
}