function changePict(str) {
	document.getElementById("thepic").src = "pics/" + str + ".png";
}