function getFlash(name,width,height){
document.write('');
}
function getRndImg(){
var ic = 3; // Number of alternative images
var imgs = new Array(ic); // Array to hold filenames
imgs[0] = "/images/frog1.jpg";
imgs[1] = "/images/frog2.jpg";
imgs[2] = "/images/frog3.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);
document.writeln('');
}