function random_img(){
  var images=new Array()
  
  images[1]="/HomeRotatorImages/main_pic_v2.jpg"
  images[2]="/HomeRotatorImages/construct_pic.jpg"
  images[3]="/HomeRotatorImages/main_pic.jpg"
  
  var result=Math.floor(Math.random()*myimages.length)

  if (result==0)
     result=1
     document.write('<img src="'+images[result]+'">')
  else 
    document.write('<img src="'+images[result]+'">')
    
    
}

  random_img()