function el(elm) {
	return document.getElementById(elm);
}

function gal(src) {
	el('gal_large').src='photos/'+src;
}