var size = 100;
var add = 10;
function pagezoomup (dummyNum) {
		size = size + add;
		oj = document.body;
		oj.style.setAttribute('zoom', size+'%');
}
function pagenormal (dummyNum) {
		size = 100;
		oj = document.body;
		oj.style.setAttribute('zoom', size+'%');
}
function pagezoomdown (dummyNum) {
		size = size - add;
		oj = document.body;
		oj.style.setAttribute('zoom', size+'%');
}