/* javascript functions to display pictures */

var images=new Array();
var thumbs=new Array();
var imageNames=new Array(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
var oldnum=1;

function initImages()
{
  for (var i=0; i<imageNames.length; i++)
  {
    thumbs[i]=new Image();
    thumbs[i].src="images/thmnails/img"+imageNames[i] + ".jpg";
    images[i]=new Image();
    images[i].src="images/img"+imageNames[i] + ".jpg";
  }
}


function display(num)
{
  var newim=document.getElementById("mainpic");
    var newname="images/img"+num+".jpg";
    newim.style.display="none";
    newim.src=newname;
    newim.style.display="block";  
    var olddesc=document.getElementById("desc"+oldnum);
    olddesc.style.display="none";
    var newdesc=document.getElementById("desc"+num);
    newdesc.style.display="block";
    oldnum=num;
}