// JavaScript Document
function  show_photo(pic_name) {
	document.all.big_photo.src = pic_name
}