// JavaScript Document
window.onload=initZoom;
function initZoom(){
document.getElementById('zoom').style.fontSize='14px';
document.getElementById('zoom').style.lineHeight='22px';
}

function doZoom(size){
document.getElementById('zoom').style.fontSize=size+'px'
}