function redimensiona(header,footer,id)
{
var ancho = 0, alto = 0;
				var de = document.documentElement;
				alto =  window.innerHeight || self.innerHeight || (de&&de.clientHeight) || document.body.clientHeight;
				/*alert(alto);*/
				alto = alto - header - footer;
				document.getElementById(id).style.minHeight = alto+"px";
				
				//document.getElementById(id).style.width = ancho+"px";				
				return 0
}

function full_body()
{
	var  alto = 0;	
	alto = document.body.scrollHeight;		
	//alto = window.innerHeight;
    window.document.body.style.minHeight = alto + 0 + "px";
	
}

function fontSize (tamanio, elem) {
	var elemento = document.getElementById(elem)
    elemento.className = tamanio;
}