<!--
function resizeWinTo()
	{
	var width= document.getElementById('mydiv').offsetWidth ;
	var height= document.getElementById('mydiv').offsetHeight ;
	window.resizeTo(1.1*width + 12,1.15*height + 12);
	}
//-->