//Functions by Dennis Meyer - further distribution of this functions is strictly prohibited.
		function random_image()  {
			var img_name = new Array("images/pic1.png","images/pic2.png","images/pic3.png");
			var length = img_name.length;
			var rnd = Math.floor(Math.random()*length);
			document.getElementById("pic").innerHTML = "<img src=" + img_name[rnd] +">";
			setTimeout("random_image()",10000);
		}
		function link(link) {
			window.location = link;
		}