function getCookie(nm){
	var m=null;
	if(window.RegExp){
		var re=new RegExp(";\\s*"+nm+"=([^;]*)","i");
		m=re.exec(';'+document.cookie);
		}
	return (m?unescape(m[1]):null);
}

function setCookie(name,value,days){
	var expires="";
	if(days){
		var date=new Date();
		date.setTime(date.getTime()+(days*86400000));
		expires="; expires="+date.toGMTString();
	}

	document.cookie=name+"="+escape(value)+expires+";path=/";
}




function doZoom(size){
	document.getElementById('zoom').style.fontSize=size+'px'
}