function markPic(ImgID) {
	document.getElementById(ImgID).src="img/marked.gif";
}

function unmarkPic(ImgID) {
	document.getElementById(ImgID).src="img/empty.gif";
}