// Preload images
var gifImgNames = ['20px_active_radius', '20px_hover_radius', 'rightarrow_green', 'srch_r_f2'];
var jpgImgNames = ['120px_bowl', '120px_vase', '120px_lidded', '120px_segmented', '120px_clock'];
var imgObjects = [];
var path = ['images/gif/', 'images/jpg/'];
var ext = ['.gif', '.jpg'];

for (var i = 0; i < gifImgNames.length; i++) {
  imgObjects[i] = new Image();
  imgObjects[i].src = path[0] + gifImgNames[i] + ext[0];
}
for (var i = 0; i < jpgImgNames.length; i++) {
  imgObjects[i] = new Image();
  imgObjects[i].src = path[1] + jpgImgNames[i] + ext[1];
}