// Changes the font size of the element and stores the size in a cookie
function changeFontSize(strID, strSize)
{
	// get the element
	document.getElementById(strID).style.fontSize = strSize;
	// set the cookie
	SetCookie("fontSize",strSize,"December,31,2009");
}

// Function to find any cookied font size on the clients machine and set the font to their preference as specified in the cookie
function getFontSize(strID) {
	// check if the object whose id is given exists
	if(document.getElementById(strID)) {
				
		// create regular expression to match pattern 'fontSize=.......' till a semicolon is encountered or the string ends
		var regEx = new RegExp("fontSize=[^;]+");
				
		// if cookie exists
		if(regEx.test(document.cookie)){
			
			// if match found, then extract the part of the string matching the regular expression pattern
			var cookieEntry = document.cookie.toString().match(regEx);
			
			if(cookieEntry != '') {
			
				// from the match, extract the font size
				var fontSize = cookieEntry.toString().substring(9, cookieEntry.toString().length);
				
				// call the function to change the font size accordingly
				changeFontSize(strID, fontSize.toString());
			}
		}		
	}	
}

function SetCookie(name,value,expires)
{
	var exp = new Date(expires);
	document.cookie = name + "=" + escape(value) + ";expires=" + exp.toGMTString(); + ";path=";
}

function SetAEWriteMode(value)
{
	if(confirm('WARNING! \n\nTo switch editors, the current page must \nbe reloaded. Any changes that you have \nnot yet submitted will be lost. \n\nClick OK to continue... '))
	{
		location.href="/engine/set_cookie.asp?name=AEWriteMode&value="+escape(value)+"&expires=12/31/2009&redir="+location.href;
	}
	return false;
}