function changeFontSize(inc){
	var aa = new Array('body', 'td', 'div', 'p', 'font', 'a', 'span');
	for(i=0; i<aa.length; i++){
		var p = document.getElementsByTagName(aa[i]);
		for(n=0; n<p.length; n++) {
			if(p[n].style.fontSize) {
				var size = parseInt(p[n].style.fontSize.replace("px", ""));
			} else {
				var size = 12;
			}
			p[n].style.fontSize = size+inc + 'px';
		}
	}
}