// JavaScript Document
function cambia_imagen(nueva)
{
	var imagen = document.getElementById('imagen_ppal');
	imagen.src = nueva;
}