// begin file random.js
//
// Original:  Nicholas Lupien (smylex@aol.com)
//
// This script and many more are available free online at
// The JavaScript Source!! http://javascript.internet.com
//
// Adapted for use at www.OffshoreOperators.com by
// Jack Reiner of The Creative Internet, LLC 
//  www.CreativeInternet.com

var rand1 = 0;
var useRand = 0;

images = new Array;
images[1] = new Image();
images[1].src = "/images/random/allegheny_80.jpg";
images[2] = new Image();
images[2].src = "/images/random/bullwinkle_80.jpg";
images[3] = new Image();
images[3].src = "/images/random/mars2_80.jpg";
images[4] = new Image();
images[4].src = "/images/random/platform_80.jpg";
images[5] = new Image();
images[5].src = "/images/random/rampowell_80.jpg";
images[6] = new Image();
images[6].src = "/images/random/petronius1_80.jpg";
images[7] = new Image();
images[7].src = "/images/random/petronius2_80.jpg";
images[8] = new Image();
images[8].src = "/images/random/spirit_80.jpg";
images[9] = new Image();
images[9].src = "/images/random/ursa_80.jpg";
images[10] = new Image();
images[10].src = "/images/random/ursa2_80.jpg";
images[11] = new Image();
images[11].src = "/images/random/Wd73ad1_80.jpg";
images[12] = new Image();
images[12].src = "/images/random/brutus_80.jpg";
images[13] = new Image();
images[13].src = "/images/random/morpeth_80.jpg";

function swapPic() {
var imgnum = images.length - 1;
do {
var randnum = Math.random();
rand1 = Math.round((imgnum - 1) * randnum) + 1;
} while (rand1 == useRand);
useRand = rand1;
document.randimg.src = images[useRand].src;
}

//end file random.js