// JavaScript Document

	function changeImage(picname, pictext) {		
		document.getElementById("theimage").src = picname;
		document.getElementById("thetext").innerHTML = pictext;
	}