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;}