var summaryShown = true;

function GetElement(elementName)
{
  if (document.getElementById)
  	return document.getElementById(elementName);
	else if (document.all)
  	return document.all.namedItem(elementName);
  else
  	return null;
}

function DrawShowHideButton(texte)
{
	document.write("<div id=\"ShowHide\"><a ");
  document.write("href=\"javascript:summaryShown?HideSummary():ShowSummary();\"");
  document.write("title=\"" + texte + "\">");
  document.write(texte + "</a></div>");
}

function ShowSummary()
{
	document.body.className = "body1";
  GetElement("Left").className = "left1";
  GetElement("Main").className = "main1";
  summaryShown = true;
}

function HideSummary()
{
	document.body.className = "body2";
  GetElement("Left").className = "left2";
  GetElement("Main").className = "main2";
  summaryShown = false;
}