var edition;
function fontZoom(size)
{
SetCookie("fontzoom",size);
document.getElementById('fontzoom').style.fontSize=size+'px';
}

function setFontZoom()
{
	try{
	document.getElementById('fontzoom').style.fontSize=getCookie("fontzoom")+'px';
	}catch(e){}
}

function SetCookie(name,value)
{
    document.cookie = name + "="+ escape (value) + ";expires=Mon, 31 Dec 2099 23:59:59 UTC;path=/;";
}
function getCookie(name)
{
    var arr = document.cookie.match(new RegExp("(^| )"+name+"=([^;]*)(;|$)"));
     if(arr != null) return unescape(arr[2]); return null;

}



//aaaaaaaaaaaaaaaaaaaaaaaaaaaaa