function linkea(pagina) { //v4.01
	
	document.location.href=pagina;
	
}