function setFocus(id){
	document.getElementById(id).focus();
}

function update_gallery(filename){
	document.getElementById("gallery_large").innerHTML= '<img src="'+ filename +'" />';
}