// JavaScript Document
var img1_total = 6;
var img2_total = 6;
var img3_total = 5;

function loadRandomImgs ()
{
	
	//window.alert('here');
	document.images.img1.src = 'random_images/imga' + Math.ceil(Math.random() * img1_total) + '.gif';
	document.images.img2.src = 'random_images/imgb' + Math.ceil(Math.random() * img2_total) + '.gif';
	document.images.img3.src = 'random_images/imgc' + Math.ceil(Math.random() * img3_total) + '.gif';

}