function getRandomImage()

{

number = 0;

var image = [];

image[number++] = "/Portals/140405/images/reef_testim_0.jpg";
image[number++] = "/Portals/140405/images/reef_testim_1.jpg";

var position = Math.floor(Math.random() * number);

document.getElementById("banner").src=image[position];

};