function random_banner(){
	var myimages=new Array();
  //specify random images below. You can have as many as you wish
	  myimages[1]="./images/banner2.jpg";
	  myimages[2]="./images/banner3.jpg";
	  myimages[3]="./images/banner4.jpg";
	  myimages[4]="./images/banner5.jpg";
	  myimages[5]="./images/banner6.jpg";
	  myimages[6]="./images/banner7.jpg";
	  myimages[7]="./images/banner8.jpg";
	  myimages[8]="./images/banner9.jpg";
	  myimages[9]="./images/banner10.jpg";
	  myimages[10]="./images/banner11.jpg";
	  myimages[11]="./images/banner12.jpg";
  
 	var ry=Math.floor(Math.random()*myimages.length);
  if (ry==0){
  	ry=1
  }
   document.images.cartel.src=myimages[ry]; 
  }