var articleFontSize;
        window.onload=function () {
            articleFontSize = readCookie("articleFontSize");
            if(articleFontSize==null){
                articleFontSize=10;        
            }
            else{
                var text = document.getElementById("resizeabletext");
                text.style.fontSize = articleFontSize + "pt";        
            }
        };

function changeText(a) {
        //alert("Function worked");
	text = document.getElementById("resizeabletext");
	if(a == "decrease" && articleFontSize > 8) articleFontSize--;
	if(a == "increase" && articleFontSize < 14) articleFontSize++;
	if(a == "default") articleFontSize = 10;

	//set cookie here
	createCookie("articleFontSize",articleFontSize,14);
	text.style.fontSize = articleFontSize + "pt";
	}