function showFontInfo() {
                  strFontSize = ""+dblFontSize;
                  document.getElementById("showFontInfo").innerHTML = strFontSize.substr(0,4);
                }
          
                function hideFontInfo() {
                }

				function getCookieValue(n)
				{
					a = document.cookie;
					res = '';
					while(a != '')
					{
					     while(a.substr(0,1) == ' '){a = a.substr(1,a.length);}
					    
					     cookiename = a.substring(0,a.indexOf('='));
						if(a.indexOf(';') != -1)
						   {cookiewert = a.substring(a.indexOf('=')+1,a.indexOf(';'));}
						else {cookiewert = a.substr(a.indexOf('=')+1,a.length);}
						if(n == cookiename){res = cookiewert;}
	                    i = a.indexOf(';')+1;
						if(i == 0){i = a.length}
						a = a.substring(i,a.length);
					}
					return(res)
				}
                function setCookieValue(value) {
                  return value;
                }