// JavaScript Document

	
function Change_Image() {
	
	if (!document.getElementsByTagName) return;
	var images = document.getElementsByTagName("a");
	var im = 0
	var randImages = new Array()
	var numToShow = 4
	
	for (i=0; i<images.length; i++) {
		if (images[i].className != "rand_image") continue;
		randImages[im]=images[i]
		im++
	}
	
	var nums = new Array();
	for(i=0; i<numToShow; i++) {
		nums = getRandomNumber(randImages.length,nums);
	}
	
	for(i=0; i<randImages.length; i++) {
		randImages[i].style.display='none'
	}
	
	for(i=0; i<numToShow; i++) {
		randImages[nums[i]].style.display='inline'
	}
	
	
}



function getRandomNumber(maxSize,nums) {
	var rand = Math.floor(maxSize*Math.random())
	var nums2 = nums
	var length = 0
	var changed = false
	if (nums2 != '') {
		length = nums.length;
		for (a=0;a<nums.length;a++) {
			if(nums[a]==rand) {
				nums = getRandomNumber(maxSize,nums);
				changed = true
			}
		}
	}
	if (!changed)
		nums[length] = rand;
	return nums;
}