function enlarge(file) {
	document.getElementById('enlargementContainer').style['display'] = 'block';
	document.getElementById('enlargementPicture').src = 'pictures/' + file;
}

function viewEnlargement() {
	document.getElementById('enlargementContainer').style['display'] = 'block';
}

function hideEnlargement() {
	document.getElementById('enlargementContainer').style['display'] = 'none';
}