var imagen;
function mostrar_imagen(imagen)
{
		
	
	document.getElementById('fotografia').src = imagen;
}