// JavaScript Document

function cambiarFoto(foto)
{
	document.getElementById('foto_grande').src = foto;
}