function checkFontSize()
{
		// Do this onload
		var receivedCookieData = getCookie("fontsize");
		if (receivedCookieData != null)
		{
			receivedCookieData = receivedCookieData * 1;
			document.body.style.fontSize = receivedCookieData + "%";
		}
}

// Get cookie function - Return the value of the cookie
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));
}



function increase()
{
	var receivedCookieData = getCookie("fontsize");
	
	if (receivedCookieData == null) { receivedCookieData = 75; }
	
	receivedCookieData = receivedCookieData * 1;
	receivedCookieData = receivedCookieData + 10;
	
	// Change the current font size and write the value back to cookie
	
	if (receivedCookieData >= 95) { receivedCookieData = 95; }
	
	document.body.style.fontSize = receivedCookieData + "%";
	document.cookie = "fontsize=" + receivedCookieData;
}


function decrease()
{
	var receivedCookieData = getCookie("fontsize");

	if (receivedCookieData == null) { receivedCookieData = 75; }
	
	
	receivedCookieData = receivedCookieData * 1;
	receivedCookieData = receivedCookieData - 10;
	
	// Change the current font size and write the value back to cookie
	
	if (receivedCookieData <= 75) { receivedCookieData = 75; }
	
	document.body.style.fontSize = receivedCookieData + "%";
	document.cookie = "fontsize=" + receivedCookieData;
}