function swapImage(name1,name2) { 
			imgtmp.src=document.images["img"+name1].src;
			if(Exp && !Opr)document.images["img"+name1].filters.blendTrans.Apply();
			document.images["img"+name1].src=imgs[name2].src;
			if(Exp && !Opr)document.images["img"+name1].filters.blendTrans.Play();
			imgs[name2].src=imgtmp.src;
		}
  	function shuffle(){
  		var x,y;
  		do{
  			x=Math.round(Math.random()*10-1);
  		}while(x>0||x<0);
  		do{
  			y=Math.round(Math.random()*10-1);
  		}while(y>2||y<0);
  		swapImage(x,y);
  		window.setTimeout("shuffle()",6000);
  	}