function pv_r(u, w, h){ var pv=''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; pv += ''; document.write(pv); } function dozoom(size){ document.getelementbyid('zoom').style.fontsize=size+'px'; }