function highlight(photo_id) {
	document.getElementById(photo_id).style.borderColor = '#0099cc';
	document.getElementById(photo_id).style.backgroundColor = '#CCE4FF';
}
function unhighlight(photo_id) {
	document.getElementById(photo_id).style.borderColor = '#DDDDDD';
	document.getElementById(photo_id).style.backgroundColor = '#EFEFEF';
}