<!--
function pickRandom(range) {
    if (Math.random)
        return Math.round(Math.random() * (range-1));
    else {
        var now = new Date();
        return (now.getTime() / 1000) % range;
    }
}
function randomImgs() {
	var numImgs = 30;
	var choice1 = pickRandom(numImgs);
	var choice2 = pickRandom(numImgs);
	var choice3 = pickRandom(numImgs);
	while (choice1 == 0) {
		choice1 = pickRandom(numImgs);
	}
	while (choice2 == 0 || choice2 == choice1) {
		choice2 = pickRandom(numImgs);
	}
	while (choice3 == 0 || choice3 == choice1 || choice3 == choice2) {
		choice3 = pickRandom(numImgs);
	}
	choice1 = choice1 + '';
	choice2 = choice2 + '';
	choice3 = choice3 + '';
	if (choice1.length == 1) {
		choice1 = '0' + choice1;
	}
	if (choice2.length == 1) {
		choice2 = '0' + choice2;
	}
	if (choice3.length == 1) {
		choice3 = '0' + choice3;
	}

    randImg1 = "../random_images/R" + choice1 + ".jpg";
    randImg2 = "../random_images/R" + choice2 + ".jpg";
    randImg3 = "../random_images/R" + choice3 + ".jpg";

    if (document.getElementById) {
        document.getElementById('randimg1').src = randImg1;
        document.getElementById('randimg2').src = randImg2;
        document.getElementById('randimg3').src = randImg3;
    } else if (document.all) {
        document.all('randimg1').src = randImg1;
        document.all('randimg2').src = randImg2;
        document.all('randimg3').src = randImg3;
    } else if (document.layers) {
        document.layers('randimg1').src = randImg1;
        document.layers('randimg2').src = randImg2;
        document.layers('randimg3').src = randImg3;
    }
}
//-->