function myFontSize(fontMod, setCookie)
{
	newFontSize = parseInt(document.getElementById("myBody").style.fontSize);
	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 selectLanguage(locale)
{
	document.location.href = "/index.php?locale="+locale;
}