// function to modify font-size
function FontSize(id,size) {
	document.getElementById(id).style.fontSize = size + "px";
}