function changeFontSize(intChange){
	objBody = document.getElementById("body");
	if(intChange==0){
		objBody.style.fontSize = "100%";
	}else{
		intCurrentFontSize = parseInt(objBody.style.fontSize);
		objBody.style.fontSize = (intCurrentFontSize * (intChange / 10.0 + 1)) + "%";
	}
	set_cookie("bodyFontSize",objBody.style.fontSize,30,"/");
}

function loadBodyFontSize(){
	if(get_cookie("bodyFontSize")!=null){
		objBody = document.getElementById("body");
		objBody.style.fontSize = get_cookie("bodyFontSize");
		set_cookie("bodyFontSize",objBody.style.fontSize,30,"/");
	}
}

function get_cookie ( cookie_name )//Retrieved from http://www.elated.com/articles/javascript-and-cookies/
{
  var results = document.cookie.match ( '(^|;) ?' + cookie_name + '=([^;]*)(;|$)' );
  if ( results )
	return ( unescape ( results[2] ) );
  else
	return null;
}

function set_cookie ( name, value, expiredays, path, domain, secure )//Retrieved from http://www.elated.com/articles/javascript-and-cookies/ and adapted
{
  var cookie_string = name + "=" + escape ( value );
  if ( expiredays )
  {
	var exdate=new Date();
		exdate.setDate(exdate.getDate()+expiredays);
	cookie_string += "; expires=" + exdate.toGMTString();
  }
  if ( path )
		cookie_string += "; path=" + escape ( path );
  if ( domain )
		cookie_string += "; domain=" + escape ( domain );
  if ( secure )
		cookie_string += "; secure";
  document.cookie = cookie_string;
}

function scrollDiv(){
	var posX,posY;
	if (window.innerHeight) {
		posX = window.pageXOffset;
		posY = window.pageYOffset;
	}else if (document.documentElement && document.documentElement.scrollTop) {
		posX = document.documentElement.scrollLeft;
		posY = document.documentElement.scrollTop;
	}else if (document.body) {
		posX = document.body.scrollLeft;
		posY = document.body.scrollTop;
	}
	var div=document.getElementById("scrollDiv");
	div.style.top=(posY-3)+"px";
	div.style.right=(posX-3)+"px";
	//setTimeout("scrollDiv()",10);//Commented and used in combination with #scrollDiv{position:fixed;} to get non-flickering scroll-following DIV
}
