function setSize (size) {
		setTextSize(mainDiv, size);
		numSize = parseFloat(size);
		elems = getElementsByClass("Size");
		for (i=0; i<elems.length; i++)	{
			elems[i].className = 'Size';
		}
		document.getElementById("Size"+numSize).className += " selected";
	}
	function increaseTextSize (elementID, fontSize) {
		// fontSize = ..., -2, -1, 1, 2, ...
		var currentSize = getRealStyle(elementID,"fontSize");
		var el = document.getElementById(elementID);
		if (currentSize.indexOf("%") > -1) {
			newSize = parseFloat(currentSize) + parseFloat(fontSize) * 10 +"%";
		} else if (currentSize.indexOf("em") > -1) {
			newSize = parseFloat(currentSize) + parseFloat(fontSize) / 10 +"em";
		} else if (currentSize.indexOf("px") > -1) {
			newSize = parseFloat(currentSize) + parseFloat(fontSize) + "px";
		} else if (currentSize.indexOf("pt") > -1) {
			newSize = parseFloat(currentSize) + parseFloat(fontSize) + "pt";
		};
		el.style.fontSize = newSize;
		
		createCookie("textSize", newSize, 365);
		OLstart();
		/*equalizeColumns();*/
	}
	function setTextSize (elementID, size) {
		var el = document.getElementById(elementID);
		el.style.fontSize = size;
		createCookie("textSize", size, 365);
//		deletep7();
		OLstart();
		/*equalizeColumns();*/
	}