function swapPhotos(p) {
	document.getElementById("pgm").src = p;
}