///////////////////////////////////////////////////////////
Carica
///////////////////////////////////////////////////////////


var Firstcarica 		= 0;			//  DO NOT ALTER	//
var QuickStartID 	= 0;  			//  DO NOT ALTER	//
var htmlString 		= ""			//  DO NOT ALTER 	//

//  This function rotates the banner  //

function cambia(url,immagine,LinkTarget,urlrandom,dove)

{		
	
htmlString = '<center>';
htmlString = htmlString + '<font face = "Verdana" size="2">';		//  Font and Font Size for caption may be changed here	//
htmlString = htmlString +'<a target="';
htmlString = htmlString + LinkTarget;
htmlString = htmlString + '" href="';
htmlString = htmlString + url;
htmlString = htmlString + '" onclick="setta_dove_';
htmlString = htmlString + dove;
htmlString = htmlString + '();carica(\'';
htmlString = htmlString + urlrandom;
htmlString = htmlString + '\',\'js\',\'';
htmlString = htmlString + dove;
htmlString = htmlString + '\')"><img border="0" width="468" height="60"src="';				//  Image border size may be changed here		//	
htmlString = htmlString + immagine;
htmlString = htmlString + '" onerror="this.onerror=null;this.src=\'http://www.tuttosulinux.com/banners/sponsor_non_disponibile.jpg\';"></a>';
htmlString = htmlString + '</font>';
htmlString = htmlString + '</center>';		

document.getElementById(dove).innerHTML = htmlString; 				

//  ImageIndex++;

}

function contatore(numero,ancora)

{		

htmlStringContatore = numero;

document.getElementById(ancora).innerHTML = htmlStringContatore; 				

//  ImageIndex++;

}

function carica(filename, filetype){
 if (filetype=="js"){ //if filename is a external JavaScript file
  var fileref=document.createElement('script')
  fileref.setAttribute("type","text/javascript")
  fileref.setAttribute("src", filename)
 }
 else if (filetype=="css"){ //if filename is an external CSS file
  var fileref=document.createElement("link")
  fileref.setAttribute("rel", "stylesheet")
  fileref.setAttribute("type", "text/css")
  fileref.setAttribute("href", filename)
 }
 if (typeof fileref!="undefined")
  document.getElementsByTagName("head")[0].appendChild(fileref)
}