/* Функция изменяет размер шрифта внутри заданного элемента */
function SetFontSize (id, size) {
	document.getElementById(id).style.fontSize = size+'px';
}