


function setTextSize(size) {
	if(document.getElementsByTagName) {
		var bodyTag = document.getElementsByTagName("body");
		var textsize = document.getElementById('textsize');
		
		if(bodyTag && textsize) {			
			switch(size) {
				case "small": 
					document.getElementById('medium').className = "medium";
					document.getElementById('large').className = "large";
					bodyTag.item(0).style.fontSize = "75%";					
					break;
				case "medium": 
					document.getElementById('small').className = "small";
					document.getElementById('large').className = "large";
					bodyTag.item(0).style.fontSize = "90%";
					break;
				case "large": 
					document.getElementById('small').className = "small";
					document.getElementById('medium').className = "medium";
					bodyTag.item(0).style.fontSize = "100%";
					break;
			}
			document.getElementById(size).className += " selected";
						
			/*  name - name of the cookie
			   value - value of the cookie
			   [expires] - expiration date of the cookie	 (defaults to end of current session)
			   [path] - path for which the cookie is valid 	 (defaults to path of calling document)
			   [domain] - domain for which the cookie is valid	 (defaults to domain of calling document)
			   [secure] - Boolean value indicating if the cookie transmission requires a secure transmission  */
			   
			setCookie("textsize", large, null, "index_en.htm", "", no);
		}
	}
}

function setCookie(name, value, expires, path, domain, secure) {
  var curCookie = name + "=" + escape(value) +
      ((expires) ? "; expires=" + expires.toGMTString() : "") +
      ((path) ? "; path=" + path : "") +
      ((domain) ? "; domain=" + domain : "") +
      ((secure) ? "; secure" : "");
  document.cookie = curCookie;
}

function getCookie(name) {
  var dc = document.cookie;
  var prefix = name + "=";
  var begin = dc.indexOf("; " + prefix);
  if (begin == -1) {
    begin = dc.indexOf(prefix);
    if (begin != 0) return null;
  } else
    begin += 2;
  var end = document.cookie.indexOf(";", begin);
  if (end == -1)
    end = dc.length;
  return unescape(dc.substring(begin + prefix.length, end));
}

