function getCookie (cookieName) {
                var cookie = cookieManager.getCookie(cookieName);
                return (cookie)?cookie:false;
            }
               
            function setCookie (cookieName,cookieValue) {
                return cookieManager.setCookie(cookieName,cookieValue);
            }

            function schrift(plus){  
                if ( plus )
                    nr++;
                else
                    nr--;
                if ( nr<0 ) nr = 0;
                if ( nr>=Sizes.length ) nr = Sizes.length-1;
                setCookie("textgroesse",nr);
                document.getElementsByTagName('body')[0].style.fontSize=Sizes[nr]+'%';
            }