function haut( obj )
{
	var h;
	// calcul de la hauteur du contenu suivant le navigateur:
	if (document.documentElement.clientHeight) 
	{
		if (navigator.appName=="Microsoft Internet Explorer") 
		{
			h = document.getElementById(obj).document.documentElement.clientHeight;
		} 
		else 
		{
			h = document.getElementById(obj).contentDocument.documentElement.clientHeight;
		}

	}
	if (typeof(window.innerHeight)=='number')
	{
		h = document.getElementById(obj).contentDocument.body.innerHeight;

		if (document.body.clientHeight && navigator.appName!="Microsoft Internet Explorer")
		{
			h = document.getElementById(obj).contentDocument.body.clientHeight;

			// Ajustement de la hauteur de frame:
			document.getElementById(obj).style.height = h + 25 + "px";
		}
	}
}