var pic_view=false
function pic_enlarge(image) {
document.getElementById("imgholder").src=image;
document.getElementById("pic_div").style.display="block";
pic_view=true
}
function pic_close () {
	if (pic_view) {
		document.getElementById("pic_div").style.display="none";
	pic_view=false
	}
}