function changepic(num) {

	var filen = "images/image" + num + ".gif";
	
	document.images[1].src=filen;

}
function changepicback() {

	document.images[1].src="images/image1.gif";

}