// JavaScript Document

function getRandomImages(images) {
	var img = images.slice(0);
	var result = [];
	var i;
	while (result.length<4) {
		i = Math.round(Math.random()*(img.length-1));
		result.push(img[i]);
		img.splice(i,1);
	}
	return result;
}

function insertImages (id, images) {
	var element = document.getElementById(id);
	var im = element.getElementsByTagName("img");
	for (var i=0; i<im.length;i++) {
		im[i].src = images[i].src;
		im[i].alt = images[i].alt;
		im[i].title = images[i].alt;
	}
}