// JavaScript Document
// Videos names without extensions. Use Scripts/source.xml to change the videos
// This is a default state in case of XML transfer failure.
var videos = new Array("bimbiPeople",
					   "body",
					   "body0",
					   "body1",
					   "happy0",
					   "happy1",
					   "sciroppi0",
					   "sciroppi1",
					   "sciroppi_A",
					   "sciroppi_B",
					   "compresse1",
					   "compresse2",
					   "compresse_A",
					   "compresse_A2",
					   "compresse_B",
					   "compresse_B2",
					   "scientifica0",
					   "scientifica1"
					   );

var loadedFull = "null";
function getRandomFigure(){
	loadedFull = "null";
	var temp = Math.round(Math.random()*(videos.length-1));
	document.write('<param name="FlashVars" value="&amp;MM_ComponentVersion=1&amp;skinName=Clear_Skin_1&amp;streamName='+videos[temp]+'&amp;autoPlay=true&amp;autoRewind=false" />');
}