function switchImage (img_id, img_src) {
			document.getElementById(img_id).src=img_src
		}


// This script was supplied free by Hypergurl
// http://www.hypergurl.com
// JavaScript to interpolate random images into a page.
var ic=8 //Number of alternative images 
var random_images = new Array(ic);  // Array to hold filenames
random_images[0] = "images/random/synergis_t2_ran1.jpg";
random_images[1] = "images/random/synergis_t2_ran2.jpg";
random_images[2] = "images/random/synergis_t2_ran3.jpg";
random_images[3] = "images/random/synergis_t2_ran4.jpg";
random_images[4] = "images/random/synergis_t2_ran5.jpg";
random_images[5] = "images/random/synergis_t2_ran6.jpg";
random_images[6] = "images/random/synergis_t2_ran7.jpg";
random_images[7] = "images/random/synergis_t2_ran8.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);
//