document.write('9.2');document.getElementById('showpf4').style.height='92%';var f4=9.2;