<!--
var OldNewPxSize;
var PxSizeUp = 14;
var PxSizeDown = 10;

function TextUpDown(MyObject, NewPxSize) {
	if (OldNewPxSize == undefined) {
		OldNewPxSize = document.getElementById(MyObject).style.fontSize;
		if (NewPxSize > 0 ) {
			document.getElementById(MyObject).style.fontSize = PxSizeUp + "px";
		} else {
			document.getElementById(MyObject).style.fontSize = PxSizeDown + "px";
		}
	} else {
		document.getElementById(MyObject).style.fontSize = OldNewPxSize;
		OldNewPxSize = undefined;
	}
	return true;
}
//-->