// 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) +  130;
		
		width = document.getElementById("principal").style.width;
		width = width.substring(0,width.length-2);
		//width = parseInt(width) + 23;
		top.window.resizeTo(650, 400);	
	}