function setCookie(active){
	var d=new Date(2099,12,31);
	if(active){
		document.cookie = "DICTIONARY=TRUE; expires="+d.toGMTString();
	} else {
		document.cookie = "DICTIONARY=FALSE; expires="+d.toGMTString();
	}
}