var imgCount = 5;	// aantal images
		    var img = new Array(imgCount);  // array met beschikbare images
		        
				img[0] = "GFX/links1.jpg";
				img[1] = "GFX/links2.jpg";
				img[2] = "GFX/links3.jpg";
				img[3] = "GFX/links4.jpg";
				img[4] = "GFX/links5.jpg";
				
				function pickRandom() {
					if (Math.random)
						return img[Math.round(Math.random() * (imgCount-1))];
					else {
						var now = new Date();
						return img[(now.getTime() / 1000) % imgCount];
					}
				}