document.write('9.6');document.getElementById('showpf5').style.height='96%';var f5=9.6;