// JavaScript Document
function volver(dest)
{
	document.location.href=dest;
}