<!-- // JavaScript to interpolate random images into a page. 
var ic = 28; // Number of alternative images 
var pics = new Array(ic); // Array to hold filenames 
pics[0] = "images\\hot_tubs\\01.gif"; 
pics[1] = "images\\hot_tubs\\02.gif"; 
pics[2] = "images\\hot_tubs\\03.gif"; 
pics[3] = "images\\hot_tubs\\04.gif"; 
pics[4] = "images\\hot_tubs\\05.gif"; 
pics[5] = "images\\hot_tubs\\06.gif"; 
pics[6] = "images\\hot_tubs\\07.gif"; 
pics[7] = "images\\hot_tubs\\08.gif"; 
pics[8] = "images\\hot_tubs\\09.gif"; 
pics[9] = "images\\hot_tubs\\11.gif"; 
pics[10] = "images\\hot_tubs\\12.gif"; 
pics[11] = "images\\hot_tubs\\13.gif"; 
pics[12] = "images\\hot_tubs\\14.gif"; 
pics[13] = "images\\hot_tubs\\15.gif"; 
pics[14] = "images\\hot_tubs\\16.gif"; 
pics[15] = "images\\hot_tubs\\17.gif"; 
pics[16] = "images\\hot_tubs\\18.gif"; 
pics[17] = "images\\hot_tubs\\19.gif"; 
pics[18] = "images\\hot_tubs\\22.gif";
pics[19] = "images\\hot_tubs\\23.gif";
pics[20] = "images\\hot_tubs\\24.gif";
pics[21] = "images\\hot_tubs\\25.gif";
pics[22] = "images\\hot_tubs\\26.gif";
pics[23] = "images\\hot_tubs\\27.gif";
pics[24] = "images\\hot_tubs\\28.gif";
pics[25] = "images\\hot_tubs\\29.gif";
pics[26] = "images\\hot_tubs\\30.gif";
pics[27] = "images\\hot_tubs\\31.gif";

function pickRandom(range) 
{ 
     if (Math.random) 
     	return Math.round(Math.random() * (range-1)); 
     else 
     { 
     	var now = new Date(); 
     	return (now.getTime() / 1000) % range;
     }
} // Write out an IMG tag, using a randomly-chosen image name. 
var choice = pickRandom(ic); 
// -->