function getRandomNumber(n) {
	return Math.floor(Math.random()*n);
}
	
function showimage(maxinpool) {
	idx = getRandomNumber(maxinpool);
	s = '';
	if (images[idx].url != "")
		s = s + '<a href="' + images[idx].url + '">';
	s = s + '<img src="' + images[idx].img + '" height="' + images[idx].h + '" width="' + images[idx].w + '">';
	if (images[idx].url != "")
		s = s + '</a>';
	document.write(s);
}

function Rotator(img,h,w,url) {
	this.img = img;
	this.h = h;
	this.w = w;
	this.url = url;
}