function changeSize(value)
        {
            var numSize;
			numSize=value;

            document.body.style.fontSize=numSize;

        }