var t;			
t = 1;
function changeSize(modif) {
		t = t + modif;
		document.getElementsByTagName("body")[0].style.fontSize = t + "em";		
}