<!--
/*
This is to generate random images
*/

function random_img(){
  var rndimages=new Array()
  //specify random images below.
  rndimages[1]="side_image1.jpg"
  rndimages[2]="side_image2.jpg"
  rndimages[3]="side_image3.jpg"
  rndimages[4]="side_image4.jpg"
  rndimages[5]="side_image5.jpg"
  rndimages[6]="side_image6.jpg"
  rndimages[7]="side_image7.jpg"
  rndimages[8]="side_image8.jpg"
  rndimages[9]="side_image9.jpg"
  rndimages[10]="side_image10.jpg"


  //specify corresponding alt descriptions below
  var imagealt=new Array()
  imagealt[1]="Jos. Schmitt Construction "
  imagealt[2]="Jos. Schmitt Construction "
  imagealt[3]="Jos. Schmitt Construction "
  imagealt[4]="Jos. Schmitt Construction "
  imagealt[5]="Jos. Schmitt Construction "
  imagealt[6]="Jos. Schmitt Construction "
  imagealt[7]="Jos. Schmitt Construction "
  imagealt[8]="Jos. Schmitt Construction "
  imagealt[9]="Jos. Schmitt Construction "
  imagealt[10]="Jos. Schmitt Construction "

  var ry=Math.floor(Math.random()*rndimages.length)

  if (ry==0)
     ry=1
     document.write('<img src="/images/'+rndimages[ry]+'" border=0'+imagealt[ry]+'/>')
}

  // place this where the image should go - random_img()
//-->