
    <!-- loading images -->

 var ld=(document.all);
  var ns4=document.layers;
 var ns6=document.getElementById&&!document.all;
 var ie4=document.all;
  if (ns4)
 	ld=document.loading;
 else if (ns6)
 	ld=document.getElementById("loading").style;
 else if (ie4)
 	ld=document.all.loading.style;
  function init()
 {
 if(ns4){ld.visibility="hidden";}
 else if (ns6||ie4) ld.display="none";
 }

    <!-- random images -->
function random_imglink(){
  var myimages=new Array()
  //specify random images below. You can have as many as you wish
  myimages[1]="images/bakgrounds/MIAMI_HOME-SHOW_CMYK_3.8.11.jpg"
  myimages[2]="images/projects/DreamDiningBig2.jpg"
  myimages[3]="images/projects/SferraBig3.jpg"

  //specify corresponding links below
  var imagelinks=new Array()
  imagelinks[1]="#"
  imagelinks[2]="#"
  imagelinks[3]="#"

  var ry=Math.floor(Math.random()*myimages.length)

  if (ry==0)
     ry=1
     document.write('<img src="'+myimages[ry]+'">')
}