function redireciona_pagina(url)
	{
	document.location = url;	
	}