ns6 = (document.getElementById && !document.all);
if (ns6)
{
	rect_debordement = document.getElementById("rectangle_debordement");
	rect_contenu = document.getElementById("rectangle_contenu");
}
else
{
	rect_debordement = document.all.rectangle_debordement;
	rect_contenu = document.all.rectangle_contenu;
}

a = 325;
if (rect_contenu.offsetHeight >= a)
{
	rect_debordement.style.height = rect_contenu.offsetHeight - a;
}