pic_width=850;   /*change to match the height of all your images */
pic_height=200;   /* change to match the width of all your images */
border_size=0;   /* change to the border size you want on the images */


/* define image urls */

if (document.images)
 {
     pic1= new Image(pic_width,pic_height);
     pic1.src="images/haut.jpg";  
     pic2= new Image(pic_width,pic_height); 
     pic2.src="images/haut1.jpg"; 
     pic3= new Image(pic_width,pic_height);
     pic3.src="images/haut2.jpg";  
     pic4= new Image(pic_width,pic_height);
     pic4.src="images/haut3.jpg";  
     pic5= new Image(pic_width,pic_height);
     pic5.src="images/haut4.jpg"; 
     pic6= new Image(pic_width,pic_height);
     pic6.src="images/haut5.jpg";  
     pic7= new Image(pic_width,pic_height);
     pic7.src="images/haut6.jpg";
     pic8= new Image(pic_width,pic_height);
     pic8.src="images/haut7.jpg";  
     pic9= new Image(pic_width,pic_height); 
     pic9.src="images/haut8.jpg";
     pic10= new Image(pic_width,pic_height); 
     pic10.src="images/haut9.jpg";
     pic11= new Image(pic_width,pic_height); 
     pic11.src="images/haut10.jpg";
     pic12= new Image(pic_width,pic_height); 
     pic12.src="images/haut11.jpg";
     pic13= new Image(pic_width,pic_height); 
     pic13.src="images/haut12.jpg";    
 

 }    


function get_random(maxNum)
{
  if (Math.random && Math.round)
  {
    var ranNum= Math.round(Math.random()*(maxNum-1));
    ranNum+=1;
    return ranNum;
  }
}

function get_Image()
{
 if (document.images)
 {
  var choose_one= get_random(13);  
  choose_one--;

  var pics= new Array(13) 
   pics[0]=pic1.src;
   pics[1]=pic2.src;
   pics[2]=pic3.src;
   pics[3]=pic4.src;
   pics[4]=pic5.src;
   pics[5]=pic6.src;
   pics[6]=pic7.src;
   pics[7]=pic8.src;
   pics[8]=pic9.src;
   pics[9]=pic10.src;
   pics[10]=pic11.src;
   pics[11]=pic12.src;
   pics[12]=pic13.src;



  document.write("<img src='"+pics[choose_one]+"' width='"+pic_width+"' height='"+pic_height+"' border='"+border_size+"'>");
 }
}