function myFontSize(fontMod, setCookie)
{
	newFontSize = parseInt(document.getElementById("myBody").style.fontSize);
	if (fontMod == "n")
		newFontSize = 10;
	else
		newFontSize = newFontSize+fontMod;
	if (newFontSize > 20)
		newFontSize = 20;
	if (newFontSize < 6)
		newFontSize = 6;
	document.getElementById("myBody").style.fontSize=newFontSize+"px";
	if (setCookie != false)
		myCookie(newFontSize);
}

function myCookie(fontSize)
{
	document.getElementById("pIFrame").src = "_shared/p_cookie.php?cookieNameArray=fontSize&cookieValueArray="+fontSize;
}

function showDiv(div_id)
{
	if (document.getElementById(div_id).style.display == "block")
		document.getElementById(div_id).style.display = "none";
	else
		document.getElementById(div_id).style.display = "block";
}