function stretchPage(id, name, value){
  identity=document.getElementById(id);
  if (identity==null) return
  eval("identity.style." + name + "= \"" + value + "\"");
  }

loadResStyle = function(){
  //   these are evalled in firebug (clean up list)
	stretchPage('table543', 'width', '769px');
	stretchPage('table400', 'width', '566px'); 
	stretchPage('table20', 'width', '40px'); 
	stretchPage('table123', 'width', '163px'); 
  //   these are evalled in firebug (clean up list)

	stretchPage('table35', 'width', '157px');
	stretchPage('table760', 'width', '986px');
	stretchPage('table12', 'width', '231px');
	stretchPage('what18', 'width', '225px');
	stretchPage('homepage226', 'width', '163px');
	stretchPage('table364', 'width', '364px');
	stretchPage('table401', 'width', '565px');
	stretchPage('table369', 'width', '369px');
	stretchPage('table533', 'width', '759px');
}()