// JavaScript Document
	function redir(url)
	{
		document.location = url;
	}
	
	function resize()
	{
		height = document.getElementById("principal").style.height;
		height = height.substring(0,height.length-2);
		height = parseInt(height) +  150;
		
		width = document.getElementById("principal").style.width;
		width = width.substring(0,width.length-2);
		width = parseInt(width) + 60;
		top.window.resizeTo(width, height);	
	}