// JavaScript Document

// List image names WITHOUT filetype extension

var myImg = new Array();


  myImg[0]= "highlands_2";
  myImg[1]= "mesaverde_2";
  myImg[2]= "solitarytree_2";
  myImg[3]= "Untitled(cows)_2";
  myImg[4]= "hampi_2";
  myImg[5]= "porch1";
  myImg[6]= "overgrown_1";
// Then create thumbnails of 90 x 70 pixels and save them
// under the same name with "_thumb" added to the name