document.write('9.3');document.getElementById('showpf5').style.height='93%';var f5=9.3;