function textSize () {
	document.body.style.fontSize = (function () {
		switch (document.body.style.fontSize) {
			case 'medium': return 'large';
			case 'large': return 'small';
			default: return 'medium';
		}
	})();
	return void(0);
}