var ic = 12;     // Number of alternative images
var rand = new Array(ic);  // Array to hold filenames
        
rand[0] = "framed_quilts/kate_adams_quilt_1.jpg";
rand[1] = "framed_quilts/kate_adams_quilt_2.jpg";
rand[2] = "framed_quilts/kate_adams_quilt_3.jpg";
rand[3] = "framed_quilts/kate_adams_quilt_4.jpg";
rand[4] = "framed_quilts/kate_adams_quilt_5.jpg";
rand[5] = "framed_quilts/kate_adams_quilt_6.jpg";
rand[6] = "framed_quilts/kate_adams_quilt_7.jpg";
rand[7] = "framed_quilts/kate_adams_quilt_8.jpg";
rand[8] = "framed_quilts/kate_adams_quilt_9.jpg";
rand[9] = "framed_quilts/kate_adams_quilt_10.jpg";;
rand[10] = "framed_quilts/kate_adams_quilt_11.jpg";
rand[11] = "framed_quilts/kate_adams_quilt_12.jpg";

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);