<!--
    // JavaScript to interpolate random images into a page.
    var ic = 8;     // Number of alternative images
    var globe = new Array(ic);  // Array to hold filenames
        
globe[0] = "graphics/globe-amharic.jpg";
globe[1] = "graphics/globe-arabic.jpg";
globe[2] = "graphics/globe-aramaic.jpg";
globe[3] = "graphics/globe-geez.jpg";
globe[4] = "graphics/globe-hebrew.jpg";
globe[5] = "graphics/globe-mandaic.jpg";
globe[6] = "graphics/globe-syriac.jpg";
globe[7] = "graphics/globe-tigrinya.jpg";
globe[8] = "graphics/globe-turoyo.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);
// -->