// this function changes the width of the table passed into it
// depending on the screen resoluction of the browser
function changeTableWidth(t_name)
  {
  var w = screen.width;
  if (w == 1400) {
	document.getElementById(t_name).width="58%";
  }
  else if (w == 1280) {
	document.getElementById(t_name).width="64%";
  }
  else if (w == 1154) {
  	document.getElementById(t_name).width="71%";
  }
  else if (w == 800) {
  	document.getElementById(t_name).width="100%";
	}
  else {
  	document.getElementById(t_name).width="80%";	
	}
  }