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

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

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