//<script language="javascript">
function pageResize(){
	/*	
		variables se trouvant dans menu_noframe
		DomYes
	*/

	var screenHeight	= window.screen.height;
	var availHeight		= window.screen.availHeight;
	var offsetHeight	= document.body.clientHeight;

	var obDivContent	= DomYes?document.getElementById('divContentScroll'):document.all['divContentScroll'];

	var ratio			= (screenHeight != 600) ? 4 : 4.65;
	var divHeight		= (offsetHeight - ((screenHeight - availHeight)*ratio));
	
	
	obDivContent.style.width	= '800px';
	
	obDivContent.style.height	= divHeight + 'px';

}