    // JavaScript to interpolate random images into a page.    var ic = 5;     // Number of alternative images    var illus = new Array(ic);  // Array to hold filenames    var alttext = new Array(ic); //Array to hold alt text        illus[0] = "images/home_cd_manager.jpg";illus[1] = "images/home_sw_manager.jpg";illus[2] = "images/home_sw_manager.jpg";/* illus[2] = "images/home_ww_manager.jpg"; */illus[3] = "images/home_gom.jpg";illus[4] = "images/home_miltons.jpg";alttext[0] = "Manager Camden";alttext[1] = "Manager Southwark";alttext[2] = "Manager Southwark";/* alttext[2] = "Manager Wandsworth"; */alttext[3] = "Group Operations Manager";alttext[4] = "Directors";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);