function cambiar_fotografia(nombre){
	document.getElementById('foto_grande').src='fotos/600x400/'+nombre;
}