document.write('9.6');document.getElementById('showpf4').style.height='96%';var f4=9.6;