// JavaScript Document

function detailPic(picturePath_detail) {
	document.getElementById("detail").src = picturePath_detail;
}