function hover(img, name)
{
	if (img.className != 'selected') {
		img.src = "images/" + name + ".gif";
	}
}

function enlarge(pic,filename,text) {
	document.getElementById('main_picture').src="photos/"+filename;
	document.getElementById('picture_text').innerHTML = text;
}

function highlight_over(pic) {
	if (pic.className != 'picture_selected') {
		pic.style.border = "1px solid #7A0EF9";
	}
}

function highlight_out(pic) {
	if (pic.className != 'picture_selected') {
		pic.style.border = "1px solid black";
	}
}