document.write('9.8');document.getElementById('showpf4').style.height='98%';var f4=9.8;