function changeTextSize()
{
	// Check the current value of text size
	var div = document.getElementById("col_m");
	
	if (div.style.fontSize == "")
	{
		div.style.fontSize = "14px";
		// Set cookie to remember the change
		Cookie.set("text", "size", 1);
	}
	else
	{
		div.style.fontSize = "";
		// Remove the cookie
		Cookie.remove("text", "size");
	}
}