function setsize() 
	{
	var height;
  if (window.innerHeight) {
    height = window.innerHeight;
  } else if (document.body && document.body.offsetHeight) {
    height = document.body.offsetHeight;
  } else {
    return 0;
  }


	document.getElementById("innerframe").style.height =  height - 150 + 'px';
	document.getElementById("nav_table").style.height =  height - 148 + 'px';
	document.getElementById("innerframe").style.frameborder = 0;
	}