document.write('9.9');document.getElementById('showpf4').style.height='99%';var f4=9.9;